"A Survey of Formal Methods" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Formal Methods for Industrial Critical Systems: A Survey of Applications	Stefania Gnesi; Tiziana Margaria	2013	Wiley-IEEE Press
Applications of formal methods /	Hinchey, Michael G.; Bowen, J. P.	[1995], ©1995.	Prentice Hall,
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
Software specification: a comparison of formal methods /	Gannon, John D.,; Purtilo, James.; Zelkowitz, Marvin V.,	[1994], ©1994.	Ablex Pub. Co.,
A survey of counseling methods	Samuel H. Osipow	1980	Dorsey Press;Irwin-Dorsey
Formal Methods: An Appetizer	Flemming Nielson; Hanne Riis Nielson	1st ed. 2019	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́
Formal methods for concurrency /	Fencott, P. C.	1996.	International Thomson Computer Press,
Formal verification of timed systems: a survey and perspective	Wang F.	2004
A survey of preconditioned iterative methods	Are Magnus Bruaset	1995	Routledge
Formal Methods and Object Technology	Stephen J. Goldsack; Stuart J.H. Kent	1996	Springer London
Formal Methods in Systems Engineering	Peter Ryan; Chris Sennett	1993	Springer London
Modern Formal Methods and Applications	Hossam A. Gabbar	2006	Springer Netherlands
Formal Methods in Computer Science	Jiacun Wang	2019	Routledge
Formal methods in circuit design	V. Stavridou	1993	Cambridge University Press
Formal methods: theory and practice	P. N. Scharbach	1989	BSP Professional;Alfred Waller
Survey Research Methods: A Reader	Eleanor Singer	June 15, 1989	University Of Chicago Press
Survey research methods: a reader	Eleanor Singer; Stanley Presser	1989	University of Chicago 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
A Survey of Formal Methods	Gregor V. Bochmann; Carl A. Sunshine	Computer Network Architectures and Protocols	Paul E. Green	1982	Springer US
Formal Hardware Verification Methods: A Survey	Aarti Gupta	Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification	Robert Kurshan	1993	Springer US
A Survey of Formal Semantics	Robert Rogers	Form and Strategy in Science: Studies Dedicated to Joseph Henry Woodger on the Occasion of his Seventieth Birthday	J.R. Gregg; F.T.C. Harris	1964	Springer Netherlands
A SURVEY OF FORMAL SEMANTICS	Robert Rogers	Logic and philosophy for linguists: A book of readings	J. M. E. Moravcsik	1975	De Gruyter Mouton
Evaluation of a Survey with Methods of Formal Concept Analysis	Wolfgang Kollewe	Conceptual and Numerical Analysis of Data: Proceedings of the 13th Conference of the Gesellschaft für Klassifikation e. V. , University of Augsburg, April 10–12, 1989	Otto Opitz	1989	Springer Berlin Heidelberg
A survey of methods		Zoos in the 21st Century: Catalysts for Conservation? (Conservation Biology)	Alexandra Zimmermann, Matthew Hatchwell, Lesley A. Dickie, Chris West	2007	Cambridge University Press
A survey of methods		Personality: a psychological interpretation	Gordon W. Allport	1937	Henry Holt and Company
A survey of methods		Pattern and growth in personality	Gordon W. Allport	1961	Holt, Rinehart and Winston
A Survey of Formal Methods Courses in European Higher Education	J. N. Oliveira	Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings	C. Neville Dean; Raymond T. Boute	2004	Springer Berlin Heidelberg
The 2020 Expert Survey on Formal Methods	Hubert Garavel; Maurice H. ter Beek; Jaco van de Pol	Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings	Maurice H. ter Beek; Dejan Ničković	1st ed. 2020	Springer International Publishing
An International Survey of Industrial Applications of Formal Methods	Dan Craigen; Susan Gerhart; Ted Ralston	Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992	J.P. Bowen; J.E. Nicholls	1993	Springer London
An International Survey of Industrial Applications of Formal Methods	Dan Craigen; Susan Gerhart; Ted Ralston	Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems	Dan Craigen and Susan Gerhart	1995	William Andrew Publishing
A Survey: Applying Formal Methods to a Software Intensive System	A. de Groot, J. Hooman and F. Kordon /[et al.]	Sixth IEEE International Symposium on High Assurance Systems Engineering: special topic: Impact of networking: 22-24 October, 2001, Boca Raton, Florida, USA /	IEEE International High-Assurance Systems Engineering Symposium (6th 2001 Boca Raton, Fla.)	[2001], ©2001.	IEEE Computer Society,
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
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries