‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Linksbuch Neu neu Rechtsbuch

Namjoshi, Kedar S. (Herausgeber); Zeller, Andreas (Herausgeber); Ziv, Avi (Herausgeber)

Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers (Kartoniert / Broschiert / Paperback)


Reihe: Lecture Notes in Computer Science 6405

Springer-Verlag GmbH, Springer Berlin, Februar 2011


168 S. - Sprache: Englisch - 237x156x15 mm

ISBN: 364219236X EAN: 9783642192364

This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).


Preis: 64,19 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 64,19 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Informatik

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Produktdetails

State-of-the-art research Fast-track conference proceedings Unique selling points


ISBN 3-642-19236-X

ISBN 978-3-642-19236-4

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

Membrane Computing 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 20 von Paun, Gheorghe (Herausgeber); Pérez-Jiménez, Mario J. (Herausgeber); Riscos-Nunez, Agustin (Herausge
96,29 EUR

Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, Septemb von Hsu, Ching-Hsien (Herausgeber); Li, Xiaoming (Herausgeber); Shi, Xuanhua (Herausgeber); Zheng, Ran (
86,67 EUR

The Semantic Web: Research and Applications 8th Extended Semantic Web Conference, ESWC 2011, Herakli von Antoniou, Grigoris (Herausgeber); Grobelnik, Marko (Herausgeber); Simperl, Elena (Herausgeber); Pars
99,99 EUR

Discrete Geometry for Computer Imagery 14th IAPR International Conference, DGCI 2008, Lyon, France, von Coeurjolly, David (Herausgeber); Sivignon, Isabelle (Herausgeber); Tougne, Laure (Herausgeber); Dupo
106,99 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.