Formal Methods of Program Verification and Specification

Berg, H. K. & Boebert, W. E. & Franta, W. R. & Moher, T. G.

ISBN 10: 0133288072 ISBN 13: 9780133288070
Editore: Prentice-Hall, 1982
Lingua: Inglese
Condizione: Usato - Molto buono Rilegato

Venduto da Reader's Corner, Inc., Raleigh, NC, U.S.A.

Heritage Bookseller
Venditore AbeBooks dal 11 gennaio 2000

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

Visualizza gli articoli del venditore


Usato - Rilegato

Condizione: Usato - Molto buono

Prezzo:
EUR 9,61
EUR 4,66 shipping
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello