Formal Methods in Computer Science

Formal Methods in Computer Science

Formal Methods and Software Engineering - (Lecture Notes in Computer Science) by Jin Song Dong & Jim Woodcock (Paperback)

Linear Logic in Computer Science

Logic in Computer Science: Modelling and Reasoning about Systems

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

Lecture Notes in Computer Science Formal Methods Teaching: 6th Formal Methods Teaching Workshop Fmtea 2024 Milan Italy September 10 2024 Proceedings Book 14939 (Paperback)

Pre-Owned Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer Communication and Software Systems SFM 2009 Bertinoro Italy June 1-6 2009 Advanced Lectur

Lecture Notes in Computer Science Formal Methods Teaching: 5th International Workshop Fmtea 2023 Lübeck Germany March 6 2023 Proceedings Book 13962 (Paperback)

Practical Formal Software Engineering

Lecture Notes in Computer Science Integrated Formal Methods: Third International Conference Ifm 2002 Turku Finland May 15-18 2002. Proceedings. Book 2335 (Paperback)

Computer-Aided Verification '90

Pre-Owned Lecture Notes in Computer Science: Edinburgh Lcf: A Mechanized Logic of Computation (Paperback)

Lecture Notes in Computer Science Program Specification: Proceedings of a Workshop Aarhus Denmark August 1981 Book 134 (Paperback)

Industrial Use of Formal Methods Formal Verification

Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition

Synthese Library Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic Book 4 (Hardcover)

Verification Techniques for System-Level Design

Mathematical Theory of Computation - by Zohar Manna (Paperback)

Proof and Disproof in Formal Logic An Introduction for Programmers

Arithmetic and Logic in Computer Systems

Systems and Software Development, Modeling, and Analysis

Mathematics for Computer Scientists: A Practice-Oriented Approach

ART OF REASONING: MODERN & FORMAL LOGIC ED

Information Systems Engineering: A Formal Approach

Computer Systems and Software Engineering: State-Of-The-Art (Paperback)

Introduction to Formal Logic

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

SYSTEMS ENGINEERING PRINCIPLES AND PRACTICE TEXTBOOK: Applying the SE Lifecycle to Real-World Engineering Projects, from Requirements to Verification

Logic and Discrete Mathematics A Concise Introduction, Solutions Manual

Engineering Computation An Int