Refinement in Z and Object-Z John Derrick & Eerke A. Boiten: другие книги

Refinement Refinement
2018
Formal Techniques for Networked and Distributed Systems - FORTE 2007 Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007