Sign in with Facebook
Formal Methods Books
Showing 1-26 of 26
Practical TLA+: Planning Driven Development (Kindle Edition)
by (shelved 3 times as formal-methods)
avg rating 3.83 — 65 ratings — published
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (Paperback)
by (shelved 2 times as formal-methods)
avg rating 4.16 — 45 ratings — published 2002
Propositional and Predicate Calculus: A Model of Argument (Unknown Binding)
by (shelved 1 time as formal-methods)
avg rating 4.40 — 25 ratings — published 2005
Principles of Abstract Interpretation (Hardcover)
by (shelved 1 time as formal-methods)
avg rating 4.75 — 4 ratings — published
Program Proofs (Paperback)
by (shelved 1 time as formal-methods)
avg rating 4.67 — 3 ratings — published
Specifying Software: A Hands-On Introduction (Paperback)
by (shelved 1 time as formal-methods)
avg rating 1.50 — 2 ratings — published 2001
Graphs, Dioids and Semirings: New Models and Algorithms (Operations Research/Computer Science Interfaces Series Book 41)
by (shelved 1 time as formal-methods)
avg rating 0.0 — 0 ratings — published
An Introduction to Practical Formal Methods Using Temporal Logic (Hardcover)
by (shelved 1 time as formal-methods)
avg rating 4.00 — 2 ratings — published 2011
Program = Proof (Paperback)
by (shelved 1 time as formal-methods)
avg rating 4.50 — 12 ratings — published
Programming Language Foundations in Agda (ebook)
by (shelved 1 time as formal-methods)
avg rating 4.00 — 3 ratings — published
Logik für Informatiker (Paperback)
by (shelved 1 time as formal-methods)
avg rating 3.42 — 24 ratings — published 1992
Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq (ebook)
by (shelved 1 time as formal-methods)
avg rating 3.50 — 2 ratings — published
Software Foundations, Volume 3: Verified Functional Algorithms (ebook)
by (shelved 1 time as formal-methods)
avg rating 3.50 — 2 ratings — published
Software Foundations, Volume 2: Programming Language Foundations (ebook)
by (shelved 1 time as formal-methods)
avg rating 4.09 — 11 ratings — published
Software Foundations, Volume 1: Logical Foundations (ebook)
by (shelved 1 time as formal-methods)
avg rating 4.79 — 28 ratings — published
Practical Foundations for Programming Languages (ebook)
by (shelved 1 time as formal-methods)
avg rating 3.87 — 62 ratings — published 2012
QED at Large: A Survey of Engineering of Formally Verified Software (Unknown Binding)
by (shelved 1 time as formal-methods)
avg rating 5.00 — 2 ratings — published 2019
Formal Specification and Documentation Using Z: A Case Study Approach (Paperback)
by (shelved 1 time as formal-methods)
avg rating 5.00 — 1 rating — published
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)
by (shelved 1 time as formal-methods)
avg rating 4.28 — 29 ratings — published 2010
Handbook of Practical Logic and Automated Reasoning (Hardcover)
by (shelved 1 time as formal-methods)
avg rating 3.87 — 15 ratings — published 2009
Software Reliability Methods (Texts in Computer Science)
by (shelved 1 time as formal-methods)
avg rating 4.00 — 6 ratings — published 2001
The Science of Programming (Monographs in Computer Science)
by (shelved 1 time as formal-methods)
avg rating 3.90 — 50 ratings — published 1981
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
by (shelved 1 time as formal-methods)
avg rating 3.50 — 4 ratings — published 2002
Interactive Theorem Proving and Program Development (Hardcover)
by (shelved 1 time as formal-methods)
avg rating 4.14 — 29 ratings — published 2004
Model Checking (Hardcover)
by (shelved 1 time as formal-methods)
avg rating 3.79 — 24 ratings — published 1999
Logic in Computer Science: Modelling and Reasoning About Systems (Paperback)
by (shelved 1 time as formal-methods)
avg rating 3.95 — 73 ratings — published 1999
