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

Beckert, Bernhard/H�hnle, Reiner/Schmitt, Peter H.

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

Venduto da Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania

Membro dell'associazione:

Venditore AbeBooks dal 9 aprile 2003

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

Visualizza gli articoli del venditore


Usato - Brossura

Prezzo:
EUR 16,00
Spedizione EUR 30,00
Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello