Formal Techniques for Networked and Distributed Systems - FORTE 2007 المزيد من كتب John Derrick & Jüri Vain

Refinement

٢٠١٨

Refinement in Z and Object-Z

٢٠١٣