L petrucci (37 risultati)
- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 17,78
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,84
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,36
EUR 3,83 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,85
EUR 4,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 15 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 20,39
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 5 stelleCondizione: Usato - Molto buono
EUR 23,74
EUR 6,99 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,66
EUR 13,96 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,27
EUR 11,65 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,31
EUR 18,05 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
- 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,23
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Print on Demand.
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.
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) .
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 91,10
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.
Altre immaginiEditore: 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.
- Brossura
- Print on Demand
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 17,65
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,10
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.
- 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.
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 110,28
EUR 5,95 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.
- 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.
- Brossura
- Print on Demand
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 20,28
EUR 3,83 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,11
EUR 13,96 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,11
EUR 13,96 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,37
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.
- 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,68
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.
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,51
EUR 4,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.
- Brossura
Da: Ardengo Studio Bibliografico, roma, RM, ItaliaArdengo Studio Bibliografico
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 52,00
EUR 27,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Usato. cm 25x17,5, pag (24), br edit ill. Opere esposte. Composto e impresso nell'Istituto Statale d'Arte per la decorazione e illustrazione del libro in Urbino. Tiratura di 300 esemplari.
