Loeckx, Jacques, Kurt Sieber und Ryan StansiferBuchThe Foundations of Program Verification (Series in Computer Science) Versandkostenfrei!Nicht lieferbarNicht lieferbar Marktplatzangebote Ein Angebot für € 8,55 € BewertungProduktdetails ProduktdetailsVerlag: Vieweg+Teubner VerlagISBN-13: 9783519121015Artikelnr.: 27145691HerstellerkennzeichnungDie Herstellerinformationen sind derzeit nicht verfügbar. Für dieses Produkt wurde noch keine Bewertung abgegeben. Wir würden uns sehr freuen, wenn du die erste Bewertung schreibst! Eine Bewertung schreiben