Loeckx, Jacques, Kurt Sieber und Ryan D. StansiferBuchThe foundations of program verification Versandkostenfrei!Nicht lieferbarNicht lieferbar Marktplatzangebote 4 Angebote ab € 14,74 € BewertungProduktdetails ProduktdetailsVerlag: Stuttgart : Teubner; Chichester; New York; Brisbane; Toronto; Singapore : WileyISBN-13: 9783519021018Artikelnr.: 25026264HerstellerkennzeichnungDie 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