"Formal Methods in Computer Science" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Formal Methods in Computer Science	Jiacun Wang	2019	Routledge
Formal Methods in Human-Computer Interaction	Philippe Palanque; Fabio Paterno	1998	Springer London
Formal methods in human-computer interaction	Harold Thimbleby	1990	Cambridge University Press
Relational Methods in Computer Science	Chris Brink; Wolfram Kahl; Günther Schmidt	1997	Springer Vienna
The Handbook of Formal Methods in Human-Computer Interaction	Benjamin Weyers; Judy Bowen; Alan Dix; Philippe Palanque	1st ed. 2017	Springer International Publishing
Formal Methods in Manufacturing	Javier Campos; Carla Seatzu; Xiaolan Xie	2014	Routledge
Formal methods in computing	Lajos Rónyai	2005	Akadémiai Kiadó
Probabilistic and Statistical Methods in Computer Science	Jean-François Mari; René Schott	2001	Springer US
Fundamental proof methods in computer science: a computer-based approach	Konstantine Arkoudas	2017	MIT Press
Fundamental Proof Methods in Computer Science: A Computer-Based Approach	Konstantine Arkoudas	2017	MIT Press
Relational Methods for Computer Science Applications	Ewa Orlowska; Andrzej Szalas	2001	Physica-Verlag HD
Computer methods for science and engineering	Robert L. LaFara	1973	Hayden Book Co
Computer methods for science and engineering	Robert L. LaFara	1973	Intertext
Formal Methods in Systems Engineering	Peter Ryan; Chris Sennett	1993	Springer London
Formal methods in circuit design	V. Stavridou	1993	Cambridge University Press
Understanding Formal Methods	Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (auth.), Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (eds.)	2003	Springer-Verlag London
NASA Formal Methods	Clark Barrett and Misty Davies	2017	Springer
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification	Robert Kurshan	1993	Springer US
Categorical Methods in Computer Science: With Aspects from Topology	Hartmut Ehrig; Horst Herrlich; Hans-Jörg Kreowski; Gerhard Preuß	1989	Springer Berlin Heidelberg
Sequences II: Methods in Communication, Security, and Computer Science	Ian F. Blake, George H. Freeman, Peter R. Stubley (auth.), Renato Capocelli, Alfredo De Santis, Ugo Vaccaro (eds.)	1993	Springer-Verlag New York
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Formal Methods: Applying {Logics in, Theoretical} Computer Science		Formal Methods for Industrial Critical Systems: A Survey of Applications	Stefania Gnesi; Tiziana Margaria	2013	Wiley-IEEE Press
Practical Formal Methods in Human–Computer Interaction	Alan Dix	Computational Interaction	Antti Oulasvirta; Per Ola Kristensson; Xiaojun Bi; Andrew Howes	2018	Oxford University Press
Teaching Methods in Computer Science Education	Orit Hazzan; Tami Lapidot; Noa Ragonis	Guide to Teaching Computer Science: An Activity-Based Approach	Orit Hazzan; Tami Lapidot; Noa Ragonis	2nd ed. 2014	Springer London
Research methods in computer science education	Vicki L. Almstrum; Debra Burton; Ann Fleury	Software Engineering Education: 8th SEI CSEE Conference, New Orleans, LA, USA, March 29 - April 1, 1995. Proceedings	Rosalind L. Ibrahim	1995	Springer Berlin Heidelberg
Teaching Methods in Computer Science Education	Orit Hazzan; Tami Lapidot; Noa Ragonis	Guide to Teaching Computer Science: An Activity-Based Approach	Orit Hazzan; Tami Lapidot; Noa Ragonis	2011	Springer London
Teaching Methods in Computer Science Education	Orit Hazzan; Noa Ragonis; Tami Lapidot	Guide to Teaching Computer Science: An Activity-Based Approach	Orit Hazzan; Noa Ragonis; Tami Lapidot	3rd ed. 2020	Springer International Publishing
Formal Methods for Human-Computer Interaction	Antonio Cerone	Formal Methods for Software Engineering: Languages, Methods, Application Domains	Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider; Siraj Ahmed Shaikh	1st ed. 2022	Springer International Publishing
Continuous and Discrete Methods in Computer Science	Cristopher Moore	LATIN 2010: Theoretical Informatics: 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings	Alejandro López-Ortiz	2010	Springer Berlin Heidelberg
In Computer Science		Working Spanish for Teachers and Education Professionals	Gail Stein	2007	Webster's New World
Formal language theory and theoretical computer science	Ronald V. Book	Automata Theory and Formal Languages: 2nd GI Conference, Kaiserslautern, May 20-23, 1975	H. Brakhage	1975	Springer Berlin Heidelberg
Formal and Empirical Methods in Philosophy of Science	Vincenzo Crupi; Stephan Hartmann	The Present Situation in the Philosophy of Science	Friedrich Stadler	2010	Springer Netherlands
Formal Methods in the Philosophy of Natural Science	Thomas Müller	The Present Situation in the Philosophy of Science	Friedrich Stadler	2010	Springer Netherlands
Formal science		Readings in jurisprudence	Jerome Hall	©1938	The Bobbs-Merrill Company
Formal Methods and Industrial-Strength Computer Networks	Joy Reed	Requirements Targeting Software and Systems Engineering: International Workshop RTSE ' 97, Bernried, Germany, October 12-14, 1997	Manfred Broy; Bernhard Rumpe	1998	Springer Berlin Heidelberg
Advances in Formal Design Methods for Computer-Aided Design	John Gero	Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5. 2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995	Asko Riitahuhta; Fay Sudweeks	1996	Springer US
Uses and misuses of formal methods in computer security	C.P. Pfleeger	Mathematics of dependable systems: based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and Its Applications and held at Royal Holloway, University of London, in September 1993 /	Mitchell, Chris.; Stavridou, V.	1995.	Clarendon Press,
Formal Methods	Gerard O’Regan	Introduction to Software Quality	Gerard O’Regan	2014	Springer International Publishing
Formal Methods	Gerard O’Regan	Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts	Gerard O’Regan	2013	Springer London
Formal Methods	Gerard O’Regan	Concise Guide to Software Engineering: From Fundamentals to Application Methods	Gerard O'Regan	1st ed. 2017	Springer International Publishing
Formal Methods	Dan Craigen; Karen Summerskill	Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada	Dan Craigen; Karen Summerskill	1990	Springer London
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries