Eintrag weiter verarbeiten
Buchumschlag von Verification of sequential and concurrent programs
Verfügbar über lokaler Bestand

Verification of sequential and concurrent programs

Gespeichert in:

Personen und Körperschaften: Apt, Krzysztof R. (VerfasserIn), Boer, Frank S. de (VerfasserIn), Olderog, Ernst-Rüdiger (VerfasserIn)
Titel: Verification of sequential and concurrent programs/ Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Ausgabe: Third, extended edition
Medientyp: Buch
Sprache: Englisch
veröffentlicht:
Dordrecht, Heidelberg, London, New York Springer [2010]
© 2010
Gesamtaufnahme: Texts in computer science
Schlagwörter:
Erscheint auch als: Apt, Krzysztof R., 1949 - , Verification of sequential and concurrent programs, Third, extended edition, Dordrecht : Springer, 2010, 1 Online-Ressource (xxiii, 502 Seiten)
Quelle: Verbunddaten SWB