Peled doron (169 risultati)
- Rilegato
Da: Half Price Books Inc., Dallas, U.S.A.Half Price Books Inc.
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 3,57
EUR 3,03 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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.
- Rilegato
Da: Bellwetherbooks, McKeesport, U.S.A.Bellwetherbooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 4,36
EUR 3,42 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: 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.
- Rilegato
Da: HPB-Diamond, Dallas, U.S.A.HPB-Diamond
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 5,70
EUR 3,25 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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.
- Rilegato
Da: Better World Books, Mishawaka, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 10,04
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Rilegato
- Prima edizione
Da: Better World Books, Mishawaka, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 11,54
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Rilegato
Da: MusicMagpie, Stockport, Regno UnitoMusicMagpie
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 6,78
EUR 6,36 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: Very Good. Condizione sovraccoperta: 17254063. 1776693002. 4/20/2026 1:50:02 PM.
- Rilegato
Da: medimops, Berlin, Germaniamedimops
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 5,48
EUR 10,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Rilegato
Da: Solr Books, Lincolnwood, U.S.A.Solr Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 11,54
EUR 6,92 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
- Rilegato
Da: Ammareal, Morangis, FranciaAmmareal
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 3,50
EUR 16,50 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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 organizati…ons.
- Rilegato
Da: Fulano Books, Cambridge, U.S.A.Fulano Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 16,11
EUR 5,27 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: As New. Like New+ condition; some coloration imperfections but otherwise impressively clean copy; dust cover not included.
Altre immagini- Brossura
Da: Bookbot, Prague, Repubblica CecaBookbot
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 7,01
EUR 20,99 spedizioneSpedito da Repubblica Ceca a U.S.A.Quantità: 1 disponibili
Condizione: 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 reliab…ility 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.
- Brossura
Da: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, GermaniaVersandbuchhandlung Kisch & Co.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 2,24
EUR 35,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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 H…ouston, 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.
Lingua: Inglese
Editore: New York ; Berlin ; Heidelberg ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer 2001
- Rilegato
Da: avelibro OHG, Dinkelscherben, Germaniaavelibro OHG
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 37,29
EUR 10,00 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
8° gebundene Ausgabe. Condizione: Sehr gut. XIX, 331 S. : graph. Darst. ; 25 cm Ausgetragenes Bibliotheksexemplar, mit geringen Gebrauchsspuren B02-01-05B Sprache: Englisch Gewicht in Gramm: 585.
- Brossura
Da: Solr Books, Lincolnwood, U.S.A.Solr Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 41,74
EUR 6,92 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: new.
- Brossura
Da: Solr Books, Lincolnwood, U.S.A.Solr Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 41,74
EUR 6,92 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
- Brossura
Da: Che & Chandler Versandbuchhandlung, Fürstenberg OT Blumenow, GermaniaChe & Chandler Versandbuchhandlung
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 2,99
EUR 45,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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 H…ouston, 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.
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 49,91
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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
Lingua: Inglese
Editore: The MIT Press (edition 2) 2018
Serie: Cyber Physical Systems Series, Libro 1 di 3. Libro 1 di 3 - Cyber Physical Systems Series
- Rilegato
Da: BooksRun, Philadelphia, U.S.A.BooksRun
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 51,47
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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
Lingua: Inglese
Editore: The MIT Press (edition 2) 2018
Serie: Cyber Physical Systems Series, Libro 1 di 3. Libro 1 di 3 - Cyber Physical Systems Series
- Rilegato
Da: BooksRun, Philadelphia, U.S.A.BooksRun
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 51,47
Spedizione gratuitaSpedito in U.S.A.Quantità: 3 disponibili
Hardcover. Condizione: 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
Lingua: Inglese
Editore: The MIT Press (edition 2) 2018
Serie: Cyber Physical Systems Series, Libro 1 di 3. Libro 1 di 3 - Cyber Physical Systems Series
- Rilegato
Da: BooksRun, Philadelphia, U.S.A.BooksRun
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 51,47
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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
Lingua: Inglese
Editore: The MIT Press 2018
Serie: Cyber Physical Systems Series, Libro 1 di 3. Libro 1 di 3 - Cyber Physical Systems Series
- Rilegato
Da: Dream Books Co., Denver, U.S.A.Dream Books Co.
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 51,97
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,62
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New.
Model Checking, second edition (Cyber Physical Systems Series)
Clarke Jr., Edmund M.,Grumberg, Orna,Kroening, Daniel,Peled, Doron,Veith, Helmut
Lingua: Inglese
Editore: The MIT Press 2018
Serie: Cyber Physical Systems Series, Libro 1 di 3. Libro 1 di 3 - Cyber Physical Systems Series
- Rilegato
Da: Books From California, Simi Valley, U.S.A.Books From California
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Ottimo
EUR 51,98
EUR 4,33 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
hardcover. Condizione: Fine.
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,73
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
- Brossura
Da: BargainBookStores, Grand Rapids, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,10
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: New. Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Pape. Book.
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,09
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: BargainBookStores, Grand Rapids, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,46
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: New. Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings. Book.
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,14
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 51,60
EUR 7,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: Used. pp. 356 Illus.
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 57,48
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
