Refinement in Z and Object-Z : foundations and advanced applications

John Derrick and Eerke Boiten
Bok · Engelsk · 2001

Utgitt	Berlin : Springer , c2001
Omfang	xviii, 466 s. : fig.
Emner	Object-z Raffinering (Informatikk) : (NO-TrBIB)REAL001842 Raffinering Zspråk
ISBN	185233245X