Spring Reading Challenge
Genres

Formal Methods


Formal Methods Books

Practical TLA+: Planning Driven Development
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Propositional and Predicate Calculus: A Model of Argument
Principles of Abstract Interpretation
Program Proofs
Specifying Software: A Hands-On Introduction
Graphs, Dioids and Semirings: New Models and Algorithms (Operations Research/Computer Science Interfaces Series Book 41)
An Introduction to Practical Formal Methods Using Temporal Logic
Program = Proof
Blank 133x176
Programming Language F...
 
by
Philip Wadler
Logik für Informatiker
Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq
Software Foundations, Volume 3: Verified Functional Algorithms
Software Foundations, Volume 2: Programming Language Foundations
Software Foundations, Volume 1: Logical Foundations
More formal methods books...