Das Buch ist derzeit nicht auf Lager

Program verification in synthetic domain theory

Autoren

Bernhard Reus

Parameter

Kategorien

Informatik & Programmierung

Reihe: Berichte aus der Informatik

Buchkauf

Program verification in synthetic domain theory, Bernhard Reus

Sprache
Erscheinungsdatum: 1996

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Feedback senden