Petrucci l (39 risultati)
- Altre immagini
- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 18,00
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: New. Chinese Painters: A Critical Study. Book.
- Brossura
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 18,93
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Brossura
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 18,42
EUR 3,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Brossura
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 18,91
EUR 4,86 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 15 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Altre immagini
- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 20,64
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: New. Philosophie de la Nature Dans l'Art d'Extr�me-Orient. Book.
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.
- Rilegato
Da: PAPER CAVALIER UK, London, Regno UnitoPAPER CAVALIER UK
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 23,82
EUR 7,01 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 18,73
EUR 14,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 21,35
EUR 11,69 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 146 pages. 9.00x6.00x0.33 inches. In Stock.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 15,36
EUR 18,11 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
- Altre immagini
- Brossura
Da: FIRENZELIBRI SRL, Reggello, FI, ItaliaFIRENZELIBRI SRL
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 5,00
EUR 18,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: BUONO. cm.16x24, pp.48, num.figg.bn.nt. brossura con cop.fig. Centro Libero Andreotti , Pescia.
- Brossura
- Print on Demand
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 13,40
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Print on Demand.
- Altre immagini
Editore: Arezzo, Centro Studi Origini Teatro Italiano, Arezzo, 1972
- Brossura
Da: Messinissa libri, Milano, MI, ItaliaMessinissa libri
Contatta il venditoreVenditore con 3 stelleCondizione: Usato
EUR 6,00
EUR 41,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Mediocre (Poor). BTT123Brossura editoriale,volume n.4 della Collana "Testi del Primo Teatro Italiano" in discrete condizioni, con testo originale a fronte, leggera deformazione del volume, 50 pagine circacopertina come da foto.
- Altre immagini
Editore: , Associazione italiana per la liberta' della cultura nd
- Brossura
Da: librisaggi, SAN VITO ROMANO, Italialibrisaggi
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Mediocre
EUR 12,00
EUR 40,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellobrossura copertina flessibile. Condizione: Poor. Dalla Collana "Cultura e societa'" n.30, copertina flessibile ingiallita e con segni d'usura lungo i dorso, con piccolo strappo alla testa, le pagine risultano appena ingiallite e ben fruibili. copertina flessibile 69 Mediocre (Poor) .
- Altre immagini
Editore: Ass.ne Italiana per la liberta' della cultura, Roma
- Brossura
Da: Invito alla Lettura, Vetralla, VT, ItaliaInvito alla Lettura
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Buono
EUR 18,00
EUR 35,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellobrossura. Condizione: Good. 0. In 16, br. ed. fig. col. pp. 69, ill. col. e in n. n.t. ordinari segni del tempo alla cop.Luogo di pubblicazione RomaEditore Ass.ne Italiana per la liberta' della culturaAnno pubblicazione s.d.Materia/Argomento Arte ***Books dated over 70 years old are not exportable, please do not order.***. Book.
- Altre immagini
L'urbanistica dall'antichità ad oggi
Giovannoni, G. - Lugli, G. - Mariani, V. - Paribeni, R. - Petrucci, C. - Piccinato, L. - Solmi, A.
Editore: Firenze, Sansoni, Firenze, 1943
- Brossura
Da: Messinissa libri, Milano, MI, ItaliaMessinissa libri
Contatta il venditoreVenditore con 3 stelleCondizione: Usato
EUR 11,25
EUR 41,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellobrossura. Condizione: Mediocre (Poor). ST1185QCopertina editoriale incartone rigido, Volume in discrete condizioni , illustrato, il dorso è mancante, interno in buono stato, legatura lenta153 pagine circaCopertina come da foto. Book.
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
- Brossura
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 92,74
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! S…hips USPS Media Mail.
- Brossura
- Print on Demand
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 17,86
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Print on Demand.
- Brossura
- Print on Demand
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 21,20
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
- Altre immagini
- Brossura
Da: Libreria Oreste Gozzini snc, Firenze, FI, ItaliaLibreria Oreste Gozzini snc
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 6,00
EUR 38,00 spedizioneSpedito da Italia a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloFirenze, Il Fauno Editore, 1974, in-8, br. editoriale, sovraccoperta, pp. 169, [7]. Invio autografo dell'autore.
- Brossura
Da: Librisline, valentano, VT, ItaliaLibrisline
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 11,00
EUR 41,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Used: Very Good. Libro proveniente da collezione privata. La copertina riporta usuali segni del tempo. Pagine ingiallite. Consegna 24/48 ore 60 o7.
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.; McKenzie, P. [Translator]
- Rilegato
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 111,62
EUR 6,03 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.
- Brossura
- Print on Demand
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 20,35
EUR 3,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 153,64
EUR 14,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 153,64
EUR 14,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
- Print on Demand
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 19,46
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
- Altre immagini
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 156,28
EUR 61,62 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.This book provides a basic int…roduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.
- Brossura
- Print on Demand
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 20,78
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
- Altre immagini
Editore: Edizioni Thyrus, 2001
- Rilegato
Da: FolignoLibri, Foligno, PG, ItaliaFolignoLibri
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 34,00
EUR 49,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloflessibile. Condizione: Ottimo (Fine). 446 p., f.to cm 26x19, brossura, illustrazioni in b/n. Ottimo stato, rilegatura e pagine come nuovo. Book.
- Brossura
- Print on Demand
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 19,58
EUR 4,86 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
- Altre immagini
Editore: Roma: Ente Librario Italiano, 1945, 1945
- Rilegato
- Prima edizione
Da: °ART...on paper - 20th Century Art Books, Lugano, Svizzera°ART...on paper - 20th Century Art Books
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: ILAB
Condizione: Usato - Molto buono
EUR 248,81
EUR 25,00 spedizioneSpedito da Svizzera a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. 1st Edition. Gr.4° - 576pp - Color, Dual-tone & B/w illustrations by L. Pellegrino (1905) Italian painter. Il Decamerone by Giovanni Boccaccio (1313-1375) Italian writer, poet, correspondent of Petrarch, and an important Renaissance humanist. Special edition, limited to 500 numbered copies (our'…s N° 93), text in Italian language. Original cloth. A page with a tear otherwise in Very good condition.
