"Formal methods in design" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Formal methods in circuit design	V. Stavridou	1993	Cambridge University Press
Practical Formal Methods for Hardware Design	Carlos Delgado Kloos; Werner Damm	1997	Springer Berlin Heidelberg
Formal Methods in Manufacturing	Javier Campos; Carla Seatzu; Xiaolan Xie	2014	Routledge
Formal methods in computing	Lajos Rónyai	2005	Akadémiai Kiadó
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
Formal Methods in Systems Engineering	Peter Ryan; Chris Sennett	1993	Springer London
Formal Methods in Computer Science	Jiacun Wang	2019	Routledge
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
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
Industrial-Strength Formal Methods in Practice	Michael G. Hinchey; Jonathan P. Bowen	1999	Springer London
Formal and Informal Methods in Philosophy	Marcin Będkowski; Anna Brożek; Alicja Chybińska; Stepan Ivanyk; Dominik Traczykowski (Volume Editors)	2020-04-09	Brill
Computers in language research: formal methods	Walter A. Sedelow; Sally Yeates Sedelow	1979	Mouton
Formal Methods: An Appetizer	Flemming Nielson; Hanne Riis Nielson	1st ed. 2019	Springer International Publishing
Applications of formal methods /	Hinchey, Michael G.; Bowen, J. P.	[1995], ©1995.	Prentice Hall,
Formal methods for concurrency /	Fencott, P. C.	1996.	International Thomson Computer Press,
Formal Engineering Design Synthesis	Erik K. Antonsson; Jonathan Cagan	2001-11	Cambridge University Press
Formal Specification and Design	L. M. G. Feijs; H. B. M. Jonkers	1992-10	Cambridge University Press
Formal specification and design	L. M. G. Feijs	1992	Cambridge University Press
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 in design	David J. Smith	Achieving Quality Software: Including Its Application to Safety-Related Systems	D.J. Smith	3rd ed. 1995	Springer Netherlands
Formal Design Methods	Jørgen Staunstrup	A Formal Approach to Hardware Design	Jørgen Staunstrup	1994	Springer US
Formal Methods and Design	Gerard O’Regan	A Practical Approach to Software Quality	Gerard O'Regan	2002	Springer New York
Formal Support Methods in Design: Discussion	Stephan Rudolph	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
Formal methods in the system design process	Reinhard Gotzhein	Open Distributed Systems: On Concepts, Methods, and Design from a Logical Point of View	Reinhard Gotzhein	1993	Vieweg+Teubner Verlag
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
FORMAL METHODS FOR REPRESENTING DESIGN PROBLEMS		Theoretical Foundations for Decision Making in Engineering Design	National Research Council (U.S.). Board on Manufacturing and Engineering Design	2001	National Academy 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
Formal Methods		Encyclopedia of Cryptography and Security	Henk C.A. van Tilborg; Sushil Jajodia	2nd ed. 2011	Springer US
Formal Methods	Anthony Hall; Jonathan P. Bowen; Michael G. Hinchey; Jeannette M. Wing; C. A. R. Hoare	High-Integrity System Specification and Design	Jonathan P. Bowen; Michael G. Hinchey	1999	Springer London
Formal Methods	Gerard O’Regan	Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications	Gerard O'Regan	1st ed. 2016	Springer International Publishing
Formal Methods	Phillip A. Laplante; Mohamad H. Kassab	Requirements Engineering for Software and Systems	Phillip A. Laplante; Mohamad Kassab	2022	Routledge
Formal Methods	Phillip A. Laplante	Requirements Engineering for Software and Systems	Phillip A. Laplante	2017	Routledge
Formal Methods	Ben Di Vito	Digital Avionics Handbook	Cary Spitzer; Uma Ferrell; Thomas Ferrell	2015	Routledge
Formal Methods	Cary R. Spitzer	Avionics: Development and Implementation	Cary R. Spitzer	2006	Routledge
Formal Methods	Gerard O’Regan	Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications	Gerard O'Regan	2nd ed. 2021	Springer International Publishing
Formal Methods	Markus Roggenbach; Bernd-Holger Schlingloff; Gerardo Schneider	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
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries