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

Loeckx, Jacques:

ISBN 10: 3519021013 ISBN 13: 9783519021018
Editore: Stuttgart : Teubner, Chichester , New York , Brisbane , Toronto , Singapore : Wiley, 1984
Lingua: Tedesco
Condizione: Usato - Molto buono

Venduto da NEPO UG, Rüsselsheim am Main, Germania

Venditore AbeBooks dal 15 novembre 2018

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Visualizza gli articoli del venditore


Usato

Condizione: Usato - Molto buono

Prezzo: EUR 57,20 Convertire valuta
EUR 9,00 per la spedizione da Germania a Italia Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungere al carrello