Treffer: Building high integrity applications with SPARK
Titel:
Building high integrity applications with SPARK / John W. McCormick, University of Northern Iowa, Peter C. Chapin, Vermont Technical College
Veröffentlicht:
Cambridge : Cambridge University Press, 2015
Vertrieb:
Cambridge, UK : Cambridge University Press
Umfang:
1 Online-Ressource (xiv, 367 pages)
Format:
Sprache:
Englisch
Anmerkungen:
Title from publisher's bibliographic system (viewed on 05 Oct 2015)
ISBN:
9781139629294 ; 9781107040731 (Sekundärausgabe) ; 9781107656840 (Sekundärausgabe)