Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

Franta

ISBN 10: 0133288072 ISBN 13: 9780133288070

Editore: Prentice Hall, 1982

Lingua: Inglese

Usato Condizione: Good Rilegato

Lista dei preferiti

Da HPB-Red, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle

Venditore AbeBooks dal 11 marzo 2019

Visualizza gli articoli del venditore

Mostra tutte le copie di questo libro

Usato - Rilegato

Prezzo: EUR 10,85 Convertire valuta

EUR 93,49 per la spedizione da U.S.A. a Italia Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungere al carrello

Lista dei preferiti

Riguardo questo articolo

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_389222510

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Formal Methods of Program Verification and ...

Casa editrice: Prentice Hall

Data di pubblicazione: 1982

Legatura: hardcover

Condizione: Good

Descrizione articolo

Riassunto:

Book by Franta

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Half Price Books has been connecting readers to great books since 1972. Customer service is our top priority.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Half Price Books, Records, Magazines, Inc.
5803 E. Northwest Hwy., Dallas, TX, 75231, U.S.A.

Condizioni di vendita:

Condizioni di spedizione:

Metodi di pagamento
accettati dalla libreria

Aggiungi ai desiderata