Petrucci l (39 resultados)
- Tapa blanda
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 18,01
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: New. Chinese Painters: A Critical Study. Book.
- Tapa blanda
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 18,94
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa blanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 18,40
Envío por EUR 3,84Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa blanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 18,89
Envío por EUR 4,86Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 15 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa blanda
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 20,65
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: 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.
- Tapa dura
Librería: PAPER CAVALIER UK, London, Reino UnidoPAPER CAVALIER UK
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 23,79
Envío por EUR 7,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 21,32
Envío por EUR 11,67Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 146 pages. 9.00x6.00x0.33 inches. In Stock.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 18,70
Envío por EUR 13,99Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 15,34
Envío por EUR 18,08Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
- Tapa blanda
Librería: FIRENZELIBRI SRL, Reggello, FI, ItaliaFIRENZELIBRI SRL
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 5,00
Envío por EUR 18,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: BUONO. cm.16x24, pp.48, num.figg.bn.nt. brossura con cop.fig. Centro Libero Andreotti , Pescia.
- Tapa blanda
- Impresión bajo demanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 13,41
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Print on Demand.
Editorial: Arezzo, Centro Studi Origini Teatro Italiano, Arezzo, 1972
- Tapa blanda
Librería: Messinissa libri, Milano, MI, ItaliaMessinissa libri
Contactar con el vendedorVendedor de 3 estrellasCondición: Usado
EUR 6,00
Envío por EUR 41,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: 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.
Editorial: , Associazione italiana per la liberta' della cultura nd
- Tapa blanda
Librería: librisaggi, SAN VITO ROMANO, Italialibrisaggi
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Pobre
EUR 12,00
Envío por EUR 40,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritobrossura copertina flessibile. Condición: 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.
Editorial: Firenze, Sansoni, Firenze, 1943
- Tapa blanda
Librería: Messinissa libri, Milano, MI, ItaliaMessinissa libri
Contactar con el vendedorVendedor de 3 estrellasCondición: Usado
EUR 11,25
Envío por EUR 41,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritobrossura. Condición: 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.
Más imágenesEditorial: Ass.ne Italiana per la liberta' della cultura, Roma
- Tapa blanda
Librería: Invito alla Lettura, Vetralla, VT, ItaliaInvito alla Lettura
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Aceptable
EUR 18,00
Envío por EUR 35,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritobrossura. Condición: 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.
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
- Tapa blanda
Librería: -OnTimeBooks-, Phoenix, AZ, Estados Unidos de America-OnTimeBooks-
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 92,64
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.
- Tapa blanda
- Impresión bajo demanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 17,88
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Print on Demand.
- Tapa blanda
- Impresión bajo demanda
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 21,22
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
- Tapa blanda
Librería: Libreria Oreste Gozzini snc, Firenze, FI, ItaliaLibreria Oreste Gozzini snc
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 6,00
Envío por EUR 38,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoFirenze, Il Fauno Editore, 1974, in-8, br. editoriale, sovraccoperta, pp. 169, [7]. Invio autografo dell'autore.
- Tapa blanda
Librería: Librisline, valentano, VT, ItaliaLibrisline
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 11,00
Envío por EUR 41,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: 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]
- Tapa dura
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de AmericaBennettBooksLtd
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 111,71
Envío por EUR 6,03Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: New. In shrink wrap. Looks like an interesting title.
- Tapa blanda
- Impresión bajo demanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 20,33
Envío por EUR 3,84Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: 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
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
- Tapa blanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 129,15
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
System and Software Verification
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
- Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 129,15
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 153,44
Envío por EUR 13,99Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 153,44
Envío por EUR 13,99Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
- Impresión bajo demanda
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 19,47
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 156,28
Envío por EUR 61,62Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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.
- Tapa blanda
- Impresión bajo demanda
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 20,64
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Editorial: Edizioni Thyrus, 2001
- Tapa dura
Librería: FolignoLibri, Foligno, PG, ItaliaFolignoLibri
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 34,00
Envío por EUR 49,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoflessibile. Condición: Ottimo (Fine). 446 p., f.to cm 26x19, brossura, illustrazioni in b/n. Ottimo stato, rilegatura e pagine come nuovo. Book.
