Treffer: Programmverifikation
Titel:
Programmverifikation : sequentielle, parallele und verteilte Programme / Krzysztof R. Apt ; Ernst-Rüdiger Olderog
Verantwortlich:
Veröffentlicht:
Berlin [u.a.] : Springer, 1994
Umfang:
XII, 258 S.
Publikationstyp:
Sprache:
Deutsch
Schriftenreihe/Mehrbändiges Werk:
Springer-Lehrbuch
Anmerkungen:
Literaturverz. S. [245] - 250
Schlagworte:
ISBN:
3540574794
Lokale Klassifikationen: