Product Information
Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit
by Baber, Robert Laurence
de Gruyter Verlag
9783110147643
year: 1995
XV, 236 Seiten
gebundene Ausgabe
order number: 1509901
description
Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch - ordnungsgemäß entwidmet.
books4less - a shop
from Versandantiquariat
Petra Gros