Doron peled (168 resultados)
- Tapa dura
Librería: Half Price Books Inc., Dallas, TX, Estados Unidos de AmericaHalf Price Books Inc.
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 4,34
Envío por EUR 3,02Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.
- Tapa dura
Librería: Bellwetherbooks, McKeesport, PA, Estados Unidos de AmericaBellwetherbooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 4,35
Envío por EUR 3,41Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: Very Good. Very Good Condition - May show some limited signs of wear and may have a remainder mark. Pages and dust cover are intact and not marred by notes or highlighting.
- Tapa dura
Librería: HPB-Diamond, Dallas, TX, Estados Unidos de AmericaHPB-Diamond
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 5,68
Envío por EUR 3,24Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.
- Tapa dura
Librería: Better World Books, Mishawaka, IN, Estados Unidos de AmericaBetter World Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 11,01
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Tapa dura
- Primera edición
Librería: Better World Books, Mishawaka, IN, Estados Unidos de AmericaBetter World Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 11,50
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. 1st Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Tapa dura
Librería: medimops, Berlin, , Alemaniamedimops
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 5,41
Envío por EUR 10,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
- Tapa dura
Librería: Solr Books, Lincolnwood, IL, Estados Unidos de AmericaSolr Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 11,50
Envío por EUR 6,89Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
- Tapa dura
Librería: MusicMagpie, Stockport, , Reino UnidoMusicMagpie
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 13,56
Envío por EUR 6,36Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Very Good. Estado de la sobrecubierta: 17254063. 1776693002. 4/20/2026 1:50:02 PM.
- Tapa dura
Librería: Ammareal, Morangis, , FranciaAmmareal
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 3,50
Envío por EUR 16,50Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizatio…ns.
- Tapa dura
Librería: Fulano Books, Cambridge, MA, Estados Unidos de AmericaFulano Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 16,05
Envío por EUR 5,25Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: As New. Like New+ condition; some coloration imperfections but otherwise impressively clean copy; dust cover not included.
Más imágenes- Tapa blanda
Librería: Bookbot, Prague, Republica ChecaBookbot
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 7,01
Envío por EUR 20,99Se envía de Republica Checa a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: As New. Originalverpackt. Cyber-physical systems closely combine and coordinate subsystems consisting of both computational and physical elements. Such systems have become indispensable in the fields of aerospace, automotive and the automation industries, as well as in consumer appliances. Safety, security and reliabi…lity are all essential elements of the trustworthiness of these modern cyber-physical systems. Protecting the data within such systems from external attack (security) and protecting the environment from any potential malfunction or misuse of these systems (safety) are subjects traditionally considered separately, but a closer look reveals that techniques for the construction and analysis of the software-based systems used in both security and safety are not necessarily fundamentally different.This book presents papers from the 2016 Marktoberdorf summer school on software engineering, held in Marktoberdorf, Germany, in August 2016. As its title - Dependable Software Systems Engineering - suggests, the lectures at this summer school explored various aspects of the engineering of more dependable software systems, and the 10 lectures included here cover subjects from programming languages and formal analysis tools to verification, validation and assurance.The book will be of interest to all those whose work involves the development and testing of more reliable and secure software systems.
- Tapa blanda
Librería: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, AlemaniaVersandbuchhandlung Kisch & Co.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 2,24
Envío por EUR 35,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Gebraucht - Wie neu sehr gut erhalten; Rechnung mit MwSt.; Bestellungen bis 15 Uhr werden am gleichen Werktag verschickt. .This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Ho…uston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. -This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. 388 pp. Englisch.
Idioma: Inglés
Editorial: New York ; Berlin ; Heidelberg ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer 2001
- Tapa dura
Librería: avelibro OHG, Dinkelscherben, , Alemaniaavelibro OHG
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 37,29
Envío por EUR 10,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
8° gebundene Ausgabe. Condición: Sehr gut. XIX, 331 S. : graph. Darst. ; 25 cm Ausgetragenes Bibliotheksexemplar, mit geringen Gebrauchsspuren B02-01-05B Sprache: Englisch Gewicht in Gramm: 585.
- Tapa blanda
Librería: Solr Books, Lincolnwood, IL, Estados Unidos de AmericaSolr Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 41,59
Envío por EUR 6,89Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: new.
- Tapa blanda
Librería: Solr Books, Lincolnwood, IL, Estados Unidos de AmericaSolr Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 41,59
Envío por EUR 6,89Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
- Tapa blanda
Librería: Che & Chandler Versandbuchhandlung, Fürstenberg OT Blumenow, AlemaniaChe & Chandler Versandbuchhandlung
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 2,99
Envío por EUR 45,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Gebraucht - Wie neu sehr gut erhalten; Rechnung mit MwSt.; Bestellungen bis 15 Uhr werden am gleichen Werktag verschickt. .This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Ho…uston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. -This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. 388 pp. Englisch.
- Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 49,74
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Model Checking, second edition (Cyber Physical Systems Series)
Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Idioma: Inglés
Editorial: The MIT Press (edition 2) 2018
Serie: Cyber Physical Systems Series, Libro 1 de 3. Libro 1 de 3 - Cyber Physical Systems Series
- Tapa dura
Librería: BooksRun, Philadelphia, PA, Estados Unidos de AmericaBooksRun
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 51,29
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: New. 2. The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped.
Model Checking, second edition (Cyber Physical Systems Series)
Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Idioma: Inglés
Editorial: The MIT Press (edition 2) 2018
Serie: Cyber Physical Systems Series, Libro 1 de 3. Libro 1 de 3 - Cyber Physical Systems Series
- Tapa dura
Librería: BooksRun, Philadelphia, PA, Estados Unidos de AmericaBooksRun
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 51,29
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Hardcover. Condición: Very Good. 2. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Model Checking, second edition (Cyber Physical Systems Series)
Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Idioma: Inglés
Editorial: The MIT Press (edition 2) 2018
Serie: Cyber Physical Systems Series, Libro 1 de 3. Libro 1 de 3 - Cyber Physical Systems Series
- Tapa dura
Librería: BooksRun, Philadelphia, PA, Estados Unidos de AmericaBooksRun
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 51,29
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Very Good. 2. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Model Checking, second edition (Cyber Physical Systems Series)
Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Idioma: Inglés
Editorial: The MIT Press 2018
Serie: Cyber Physical Systems Series, Libro 1 de 3. Libro 1 de 3 - Cyber Physical Systems Series
- Tapa dura
Librería: Dream Books Co., Denver, CO, Estados Unidos de AmericaDream Books Co.
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 51,78
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: very_good. Pages are clean with no markings. May show minor signs of wear or cosmetic defects marks, cuts, bends, or scuffs on the cover, spine, pages, or dust jacket. May have remainder marks on edges.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,68
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New.
Model Checking, second edition (Cyber Physical Systems Series)
Clarke Jr., Edmund M.,Grumberg, Orna,Kroening, Daniel,Peled, Doron,Veith, Helmut
Idioma: Inglés
Editorial: The MIT Press 2018
Serie: Cyber Physical Systems Series, Libro 1 de 3. Libro 1 de 3 - Cyber Physical Systems Series
- Tapa dura
Librería: Books From California, Simi Valley, CA, Estados Unidos de AmericaBooks From California
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Excelente
EUR 51,80
Envío por EUR 4,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
hardcover. Condición: Fine.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 55,53
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 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 57,89
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: New. Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Pape. Book.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 55,90
Envío por EUR 2,28Se 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 58,25
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: New. Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings. Book.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,09
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 55,90
Envío por EUR 3,45Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Used. pp. 356.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 57,22
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
