L Petrucci (38 results)
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
£ 15.20
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Chinese Painters: A Critical Study. Book.
- Softcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
£ 16.11
Free ShippingShips within U.S.A.Quantity: Over 20 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
£ 15.30
£ 3.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
£ 15.71
£ 4.16 shippingShips from United Kingdom to U.S.A.Quantity: 15 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
£ 17.43
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: 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.
- Hardcover
Seller: PAPER CAVALIER UK, London, United KingdomPAPER CAVALIER UK
Contact seller5-star sellerCondition: Used - Very good
£ 19.79
£ 6.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: 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.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 15.55
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 17.73
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 146 pages. 9.00x6.00x0.33 inches. In Stock.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 12.76
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: FIRENZELIBRI SRL, Reggello, FI, ItalyFIRENZELIBRI SRL
Contact seller5-star sellerCondition: Used - Good
£ 4.41
£ 15.40 shippingShips from Italy to U.S.A.Quantity: 1 available
Add to basketCondition: BUONO. cm.16x24, pp.48, num.figg.bn.nt. brossura con cop.fig. Centro Libero Andreotti , Pescia.
- Softcover
- Print on Demand
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 11.32
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New. Print on Demand.
Published by Arezzo, Centro Studi Origini Teatro Italiano, Arezzo, 1972
- Softcover
Seller: Messinissa libri, Milano, MI, ItalyMessinissa libri
Contact seller3-star sellerpaperback. Condition: 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.
Published by , Associazione italiana per la liberta' della cultura nd
- Softcover
Seller: librisaggi, SAN VITO ROMANO, Italylibrisaggi
Contact seller4-star sellerCondition: Used - Poor
£ 10.58
£ 34.22 shippingShips from Italy to U.S.A.Quantity: 1 available
Add to basketbrossura copertina flessibile. Condition: 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.
Published by Firenze, Sansoni, Firenze, 1943
- Softcover
Seller: Messinissa libri, Milano, MI, ItalyMessinissa libri
Contact seller3-star sellerbrossura. Condition: 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.
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Very good
£ 77.89
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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! Sh…ips USPS Media Mail.
More imagesPublished by Ass.ne Italiana per la liberta' della cultura, Roma
- Softcover
Seller: Invito alla Lettura, Vetralla, VT, ItalyInvito alla Lettura
Contact seller4-star sellerCondition: Used - Good
£ 15.86
£ 29.95 shippingShips from Italy to U.S.A.Quantity: 1 available
Add to basketbrossura. Condition: 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.
- Softcover
- Print on Demand
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 15.09
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New. Print on Demand.
- Softcover
- Print on Demand
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
£ 18.04
Free ShippingShips within U.S.A.Quantity: Over 20 available
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
- Softcover
Seller: Libreria Oreste Gozzini snc, Firenze, FI, ItalyLibreria Oreste Gozzini snc
Contact seller5-star sellerFirenze, 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]
- Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
£ 94.29
£ 5.09 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.
- Softcover
Seller: Librisline, valentano, VT, ItalyLibrisline
Contact seller4-star sellerCondition: Used - Very good
£ 9.69
£ 35.08 shippingShips from Italy to U.S.A.Quantity: 1 available
Paperback. Condition: Used: Very Good. Libro proveniente da collezione privata. La copertina riporta usuali segni del tempo. Pagine ingiallite. Consegna 24/48 ore 60 o7.
- Softcover
- Print on Demand
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
£ 16.90
£ 3.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
PAP. Condition: 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.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 127.60
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: 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.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 127.60
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
- Print on Demand
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
£ 16.56
Free ShippingShips within U.S.A.Quantity: Over 20 available
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 137.73
£ 52.72 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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 intr…oduction 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.
- Softcover
- Print on Demand
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
£ 17.68
Free ShippingShips within U.S.A.Quantity: Over 20 available
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Simbolo e tecnica nei tessuti dell'antico Perù
Petrucci V. - Cavatrunci C. - Mariotti L. - De Costanzo E. - Curatola M. (testi introduttivi)
Published by De Luca Editore, Roma, 1982
Seller: LibriSenzaData, Milano, MI, ItalyLibriSenzaData
Contact seller3-star sellerBrossura editoriale con titoli al piatto e al dorso, catalogo della mostra tenutasi al Museo Luigi Pigorini di Roma da febbraio ad aprile 1982, ricco di illustrazioni in b/n, in ottime condizioni. In 8 pp. (10) - 115 - (1).
Published by Edizioni Thyrus, 2001
- Hardcover
Seller: FolignoLibri, Foligno, PG, ItalyFolignoLibri
Contact seller5-star sellerflessibile. Condition: Ottimo (Fine). 446 p., f.to cm 26x19, brossura, illustrazioni in b/n. Ottimo stato, rilegatura e pagine come nuovo. Book.
- Softcover
- Print on Demand
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
£ 16.26
£ 4.16 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
