Advertisement
Search Results
Showing results for "Formal Methods"
The Formal Method in Literary Scholarship: A Critical Introduction to Sociological Poetics
The Way of Z: Practical Programming with Formal Methods
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
The Theory of the "Formal Method"
Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer ... Halifax, Canada (Workshops in Computing)
Fme '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 Proceedings (Lecture Notes in Computer Science, 670)
Formal Logical Methods for System Security and Correctness
Fme '96, Industrial Benefit of Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by Ifip Wg 14.3, Oxford, Uk, March ... (Lecture Notes in Computer Science)
Formal Engineering Methods (Icfem 2000): 3rd IEEE International Conference
Lfm2000 : fifth NASA Langley Formal Methods Workshop / C. Michael Holloway, compiler. 2000 [Leather Bound]
FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Z: An Introduction to Formal Methods
Formal Vlsi Correctness Verification: Vlsi Design Methods II : Proceedings of the Ifip Wg 10.2/Wg 10.5 International Workshop on Applied Formal Meth (Vlsi Design Methods, 2)
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)
Formal Methods: An Appetizer
An Introduction to Practical Formal Methods Using Temporal Logic
Understanding Formal Methods (Facit S)
Formal Methods, Informally: How to Write Programs That Work
