Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)

Bernhard Beckert; Reiner Hahnle; Peter H. Schmitt, Eds

ISBN 10: 354068977X ISBN 13: 9783540689775
Editore: Springer, 2007
Lingua: Inglese
Condizione: Usato - Molto buono Brossura

Venduto da Moe's Books, Berkeley, CA, U.S.A.

Venditore AbeBooks dal 26 maggio 2003

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

Visualizza gli articoli del venditore


Usato - Brossura

Condizione: Usato - Molto buono

Prezzo:
EUR 54,71
Spedizione EUR 5,52
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello