Programmverifikation : sequentielle, parallele und verteilte Programme

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540574798
3540574794
Maße
24 cm
Umfang
XII, 258 S.
Sprache
Deutsch
Anmerkungen
Literaturverz. S. 245 - 250

Schlagwort
Programmverifikation

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
(wer)
Springer
(wann)
1994
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:26 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 1994

Ähnliche Objekte (12)