‹ 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.

Model-Drivern Architecture - Foundations and Applications 4th European Conference, ECMDA-FA 2008, Be von Schieferdecker, Ina (Herausgeber); Hartman, Alan (Herausgeber)
96,29 EUR

Information Search, Integration and Personalization International Workshop, ISIP 2012, Sapporo, Japa von Meghini, Carlo (Herausgeber); Spyratos, Nicolas (Herausgeber); Tanaka, Yuzuru (Herausgeber); Yoshida
59,92 EUR

The Semantic Web: Research and Applications 7th Extended Semantic Web Conference, ESWC 2010, Herakli von Antoniou, Grigoris (Herausgeber); Aroyo, Lora (Herausgeber); Cabral, Liliana (Herausgeber); Hyvönen,
96,29 EUR

Proceedings 160 Software Engineering 2010 - Workshopband ( inkl. Doktorandensymposium ) Zur Tagung 2 von Engels, Gregor (Herausgeber); Luckey, Markus (Herausgeber); Pretschner, Alexander (Herausgeber); Reu
59,00 EUR

Robots and Biological Systems: Towards a New Bionics? Proceedings of the NATO Advanced Workshop on R von Aebischer, Patrick (Herausgeber); Dario, Paolo (Herausgeber); Sandini, Giulio (Herausgeber)
405,53 EUR

Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven En von France, Robert (Herausgeber); Jézéquel, Jean-Marc (Herausgeber)
74,85 EUR

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, G von Stapleton, Gem (Herausgeber); Howse, John (Herausgeber); Lee, John (Herausgeber)
85,59 EUR

Sensor Applications, Experimentation, and Logistics First International Conference, SENSAPPEAL 2009, von Aoun, Marc; Boano, Carlo Alberto; Brown, James; Catalano, Julien; Koninis, Christos; Rödig, Utz; Kom
74,99 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2019 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.