Holzmann gerard (66 resultados)
- Tapa blanda
Librería: Zoom Books Company, Lynden, WA, Estados Unidos de AmericaZoom Books Company
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 10,68
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.
- Tapa blanda
Librería: HPB-Red, Dallas, TX, Estados Unidos de AmericaHPB-Red
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 8,99
Envío por EUR 3,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
- Tapa blanda
Librería: Solr Books, Lincolnwood, IL, Estados Unidos de AmericaSolr Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 12,60
Envío por EUR 7,01Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: very_good. This book is in Very good condition. There may be a few flaws like shelf wear and some light wear.
- Tapa dura
Librería: HPB-Red, Dallas, TX, Estados Unidos de AmericaHPB-Red
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 25,78
Envío por EUR 3,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
- Tapa dura
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de AmericaThriftBooks-Dallas
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 29,43
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Tapa dura
Librería: thebookforest.com, San Rafael, CA, Estados Unidos de Americathebookforest.com
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 31,64
Envío por EUR 4,38Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Like New. Page block firm and clean, binding unblemished, boards straight, without markings of any kind. Fine, like new condition. Without any discs, access codes or extra items. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.
Nasa Formal Methods : 7th International Symposium, Nfm 2015, Pasadena, Ca, USA, April 27-29, 2015, Proceedings
Havelund, Klaus (EDT); Holzmann, Gerard (EDT); Joshi, Rajeev (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,56
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Nasa Formal Methods : Third International Symposium, Nfm 2011, Pasadena, Ca, USA, April 18-20, 2011, Proceedings
Bobaru, Mihaela (EDT); Havelund, Klaus (EDT); Holzmann, Gerard (EDT); Joshi, Rajeev (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,80
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,49
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: New. NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, April 18-20, 2011, Proceedings. Book.
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 61,49
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Nasa Formal Methods : Third International Symposium, Nfm 2011, Pasadena, Ca, USA, April 18-20, 2011, Proceedings
Bobaru, Mihaela (EDT); Havelund, Klaus (EDT); Holzmann, Gerard (EDT); Joshi, Rajeev (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 64,40
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011
- Tapa blanda
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 70,85
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. 2011th. This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement, compositional verification techniques; static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis, and applications of formal techniques.…
- Tapa dura
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 52,95
Envío por EUR 19,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Gebundene Ausgabe. Condición: Gut. 3. Auflage.. 596 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 1130.
- Tapa blanda
Librería: YESIBOOKSTORE, MIAMI, FL, Estados Unidos de AmericaYESIBOOKSTORE
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 77,37
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
paperback. Condición: As New.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 67,01
Envío por EUR 13,13Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 67,01
Envío por EUR 13,13Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.
Nasa Formal Methods : 7th International Symposium, Nfm 2015, Pasadena, Ca, USA, April 27-29, 2015, Proceedings
Havelund, Klaus (EDT); Holzmann, Gerard (EDT); Joshi, Rajeev (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 67,00
Envío por EUR 17,44Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Nasa Formal Methods : Third International Symposium, Nfm 2011, Pasadena, Ca, USA, April 18-20, 2011, Proceedings
Bobaru, Mihaela (EDT); Havelund, Klaus (EDT); Holzmann, Gerard (EDT); Joshi, Rajeev (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 67,00
Envío por EUR 17,44Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Nasa Formal Methods : Third International Symposium, Nfm 2011, Pasadena, Ca, USA, April 18-20, 2011, Proceedings
Bobaru, Mihaela (EDT); Havelund, Klaus (EDT); Holzmann, Gerard (EDT); Joshi, Rajeev (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 67,00
Envío por EUR 17,44Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Books Puddle, Woodside, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 81,85
Envío por EUR 3,50Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 458.
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996
Peled, Doron A. (Editor)/ Pratt, Vaughan R. (Editor)/ Holzmann, Gerard J. (Editor)
- Tapa dura
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 70,63
Envío por EUR 14,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Brand New. 403 pages. 10.50x7.50x1.00 inches. In Stock.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 84,86
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: Anybook.com, Lincoln, Reino UnidoAnybook.com
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Pobre
EUR 70,13
Envío por EUR 15,81Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In poor condition, suitable as a reading copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1150grams, ISBN:9780321228628.…
- Tapa dura
Librería: Anybook.com, Lincoln, Reino UnidoAnybook.com
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 70,13
Envío por EUR 15,81Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1150grams, ISBN:9780321228628. …
- Tapa dura
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,61
Envío por EUR 14,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Brand New. 203 pages. 10.25x7.25x0.50 inches. In Stock.
- Tapa blanda
Librería: GoldBooks, Denver, CO, Estados Unidos de AmericaGoldBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 88,68
Envío por EUR 4,83Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. New Copy. Customer Service Guaranteed.
- Tapa blanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 88,06
Envío por EUR 5,84Se 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 dura
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 90,72
Envío por EUR 4,64Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
hardcover. Condición: New. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 94,31
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Nasa Formal Methods: 7th International Symposium, Nfm 2015, Pasadena, Ca, USA, April 27-29, 2015, Proceedings
Havelund, Klaus (Editor)/ Holzmann, Gerard (Editor)/ Joshi, Rajeev (Editor)
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 83,09
Envío por EUR 14,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 2015 edition. 435 pages. 9.00x6.00x1.25 inches. In Stock.
