Cane Creek

formal methods and software engineering 20th international conference on fo

formal methods and software engineering 20th international conference on fo

Recommended

Research Methods for Librarians and Educators: Practical Applications in Formal
Research Methods for Librarians and Educators: Practical Applications in Formal

$3.59

View Details
Formal Methods and Empirical Practices: Conversations with Patrick Suppes (Csli
Formal Methods and Empirical Practices: Conversations with Patrick Suppes (Csli

$25.68

View Details
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the F 5161
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the F 5161

$43.20

View Details
Leveraging Applications of Formal Methods, Verification and (New)
Leveraging Applications of Formal Methods, Verification and (New)

$40.87

View Details
Lecture Notes in Computer Science Ser.: Formal Methods for Software...
Lecture Notes in Computer Science Ser.: Formal Methods for Software...

$46.99

View Details
Software Development With Z: A Practical Approach to Formal Methods in So - GOOD
Software Development With Z: A Practical Approach to Formal Methods in So - GOOD

$6.20

View Details
Formal Methods: Foundations and Applications: 18th Brazilian
Formal Methods: Foundations and Applications: 18th Brazilian

$33.35

View Details
Formal Methods for Performance Evaluation: 7th International School on Formal
Formal Methods for Performance Evaluation: 7th International School on Formal

$12.67

View Details
Formal Methods of Program Verification and Specification (Prentice-Hall S - GOOD
Formal Methods of Program Verification and Specification (Prentice-Hall S - GOOD

$16.01

View Details
Leveraging Applications of Formal Methods, Verification and Validation  Ver...
Leveraging Applications of Formal Methods, Verification and Validation Ver...

$59.08

View Details