Formal Methods: An Appetizer
$54.99
from $51.96
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
$69.99
from $35.00
Z 2e
from $8.26
Managed Software Evolution
from $0.00
The Way of Z: Practical Programming with Formal Methods
$70.99
from $1.92
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science Book 14414)
from $49.31
Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Programming and Software Engineering)
$52.99
from $52.15
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... (Lecture Notes in Computer Science, 9700)
from $59.94
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method (Logic, Argumentation & Reasoning, 1)
from $109.99
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709)
$52.52
from $47.08
More results from Amazon »