Das Buch ist derzeit nicht auf Lager
Program verification in synthetic domain theory
Autoren
Parameter
Buchkauf
Program verification in synthetic domain theory, Bernhard Reus
- Sprache
- Erscheinungsdatum
- 1996
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Deine Änderungsvorschläge
- Titel
- Program verification in synthetic domain theory
- Sprache
- Englisch
- Autor*innen
- Bernhard Reus
- Verlag
- Shaker
- Erscheinungsdatum
- 1996
- ISBN10
- 3826513525
- ISBN13
- 9783826513527
- Reihe
- Berichte aus der Informatik
- Kategorie
- Informatik & Programmierung