Eintrag weiter verarbeiten
Verification of sequential and concurrent programs
Gespeichert in:
Personen und Körperschaften: | , , |
---|---|
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 |
Online
Inhaltsverzeichnis, VerlagZentralblatt MATH, Inhaltstext, Verlag
Universitätsbibliothek
Verfügbar Bestellung |
Regalstandort:
ST 140 apt
Literaturabteilung:
Freihand
Anmerkungen:
|