Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
EUR 12,00
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbX, 264 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Stamped/gestempelt. Lecture Notes in Computer Science, Vol. 3875 Sprache: Englisch.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 64,08
Gebraucht ab EUR 15,00
Mehr entdecken Softcover
EUR 23,65
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.95.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 40,45
Gebraucht ab EUR 29,73
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642396100 ISBN 13: 9783642396106
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 36,38
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 296 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 44,88
Gebraucht ab EUR 36,38
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 364234187X ISBN 13: 9783642341878
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 36,38
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 276 | Sprache: Englisch | Produktart: Sonstiges.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 44,88
Gebraucht ab EUR 36,38
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2009
ISBN 10: 3642017010 ISBN 13: 9783642017018
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 39,79
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 228 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 44,11
Gebraucht ab EUR 39,79
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2007
ISBN 10: 354070888X ISBN 13: 9783540708889
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 42,17
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 252 | Sprache: Englisch | Produktart: Sonstiges.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 44,13
Gebraucht ab EUR 42,17
Mehr entdecken Softcover
Anbieter: Buchpark, Trebbin, Deutschland
EUR 42,78
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 168 | Sprache: Englisch | Produktart: Sonstiges.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,74
Gebraucht ab EUR 42,78
Mehr entdecken Softcover
Anbieter: Irolita Books, Aurora, ON, Kanada
EUR 37,79
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: NEAR FINE. Slight shelfwear. Otherwise like new. 301 pages. -- Please feel free to ask for additional information, or detailed photos. Ships in protective packaging with tracking and insurance.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 46,75
Mehr entdecken Softcover
Verlag: Springer International Publishing, 2017
ISBN 10: 3319703889 ISBN 13: 9783319703886
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 77,98
Mehr entdecken Softcover
Verlag: Springer International Publishing, 2015
ISBN 10: 3319262866 ISBN 13: 9783319262864
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 51,36
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015.The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions. The papers areorganized in topical sections on hybrid systems; tools; verification ofrobotics; symbolic execution; model checking; timed systems; SAT solving; multidomain verification; and synthesis.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 46,63
Gebraucht ab EUR 73,48
Mehr entdecken Softcover
Verlag: Springer International Publishing, Springer International Publishing, 2016
ISBN 10: 3319490516 ISBN 13: 9783319490519
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th InternationalHaifa Verification Conference, HVC 2016, held in Haifa, Israel inNovember 2016. The 13 revised full papers and one tool paper presentedwere carefully reviewed and selected from 26 submissions. They arededicated to advance the state of the art and state of the practice inverification and testing and are discussing future directions of testing andverification for hardware, software, and complex hybrid systems.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 77,61
Mehr entdecken Softcover
Verlag: Springer International Publishing, Springer International Publishing, 2013
ISBN 10: 3319030760 ISBN 13: 9783319030760
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 77,98
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2011
ISBN 10: 3642195822 ISBN 13: 9783642195822
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 77,61
Mehr entdecken Softcover
Verlag: CMP Media, 2005
Anbieter: GloryBe Books & Ephemera, LLC, Deforest, WI, USA
EUR 2,99
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbNo binding. Zustand: Good. Front Cover and First 2 Pages have a 2" x 4" Tear on lower left corner o/w Good, Tight and Legible. NOT A FORMER LIBRARY BOOK.