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

Usato Condizione: Very Good Rilegato

Lista dei preferiti

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

Valutazione del venditore 5 su 5 stelle

Venditore AbeBooks dal 11 gennaio 2000

Visualizza gli articoli del venditore

Mostra tutte le copie di questo libro

Usato - Rilegato

Prezzo: EUR 9,82 Convertire valuta

EUR 34,41 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

Codice articolo 001987

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Formal Methods of Program Verification and ...

Casa editrice: Prentice-Hall

Data di pubblicazione: 1982

Legatura: Cloth

Condizione: Very Good

Condizione sovraccoperta: No Jacket

Edizione: First

Descrizione articolo

Riassunto:

Book by Franta

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

Descrizione libreria

The Reader's Corner is such fun,it's too bad you have to buy our books on line. We have eight foot tall outside bookshelves across the entire front of the store. There is a money slot in the door for night sales, which go to support National Public Radio. Inside, which can be too crowded at times, are surprisingly good books, only 1% are ever listed on-line. We also sell records, music cd's, comic books, mags, computer software and games. Best of all is the found art decorating every spare spot. The motto on the front door: NO SHOOTING, NO SMOKING, NO MOONING THE MANAGEMENT.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Reader's Corner, Inc.
Reader's Corner, Inc, 3201 Hillsborough Street, Raleigh, NC, 27607, U.S.A.

Condizioni di vendita:

Visa, Mastercard, Amex, Discover, Paypal or check. Shipping by USPS Priority Mail $6.50 first volume/$4 each add. vol.This is for octavo sized books only, oversize books will be more. USPS bookrate $3.50 first vol/$1.75 each add. vol. (I cover all Dust Jackets with Brodart Mylar protectors).(For EU: Reader's Corner, 3201 Hillsborough Street, Raleigh N.C., 27607, readcorner@aol.com)

Condizioni di spedizione:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Metodi di pagamento
accettati dalla libreria

Assegno PayPal

Aggiungi ai desiderata

Articoli correlati a Formal Methods of Program Verification and Specification

Formal Methods of Program Verification and Specification

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

Usato - Rilegato

Informazioni sull?azienda del venditore