Treffer: The way of Z

Titel:

The way of Z : practical programming with formal methods / Jonathan Jacky

Verantwortlich:

Veröffentlicht:

Cambridge : Cambridge University Press, 1997

Vertrieb:

Cambridge, UK : Cambridge University Press

Umfang:

1 Online-Ressource (xviii, 350 pages)

Publikationstyp:

E-Book

Sprache:

Englisch

Anmerkungen:

Title from publisher's bibliographic system (viewed on 05 Oct 2015)

Schlagworte:

ISBN:

9780511574924 ; 9780521550413 (Sekundärausgabe) ; 9780521559768 (Sekundärausgabe)

Zusatz-Informationen