Das Buch ist derzeit nicht auf Lager
Verification of sequential and concurrent programs
Autoren
Parameter
Mehr zum Buch
Software -- Software Engineering.
Buchkauf
Verification of sequential and concurrent programs, Krzysztof R. Apt
- Sprache
- Erscheinungsdatum
- 1997
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Deine Änderungsvorschläge
- Titel
- Verification of sequential and concurrent programs
- Sprache
- Deutsch
- Autor*innen
- Krzysztof R. Apt
- Verlag
- Springer
- Erscheinungsdatum
- 1997
- ISBN10
- 0387948961
- ISBN13
- 9780387948966
- Reihe
- Graduate texts in computer science
- Kategorie
- Informatik & Programmierung
- Beschreibung
- Software -- Software Engineering.