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

Designing Connected Products UX for the Consumer Internet of Things von Rowland, Claire; Goodman, Elizabeth; Charlier, Martin; Lui, Alfred; Light, Ann
48,00 EUR

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, von Berghofer, Stefan (Herausgeber); Nipkow, Tobias (Herausgeber); Urban, Christian (Herausgeber); Wenze
106,99 EUR

Smart Card Research and Advanced Applications 15th International Conference, CARDIS 2016, Cannes, Fr von Lemke-Rust, Kerstin (Herausgeber); Tunstall, Michael (Herausgeber)
58,84 EUR

57,78 EUR

69,99 EUR

Proceedings 166 - 3. DFN-Forum Kommunikationstechnologien Tagung Konstanz 26.-27. Mai 2010 von Müller, Paul (Herausgeber); Neimair, Bernhard (Herausgeber); Dreco Rodoseck, Gabi (Herausgeber)
40,50 EUR

Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, von D'Souza, Deepak (Herausgeber); Lal, Akash (Herausgeber); Larsen, Kim Gulstrand (Herausgeber)
74,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.