The foundations of program verification. Jacques Loeckx and Kurt Sieber. In collab. with Ryan D. Stansifer / Wiley-Teubner series in computer science.
Jacques Loeckx and Kurt Sieber
Buch

The foundations of program verification. Jacques Loeckx and Kurt Sieber. In collab. with Ryan D. Stansifer / Wiley-Teubner series in computer science.

Versandkostenfrei!
Nicht lieferbar
Marktplatzangebote
2 Angebote ab € 20,00 €
Bewertung
Produktdetails