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

Computational Vision and Medical Image Processing Recent Trends von Tavares, João Manuel R. S. (Herausgeber); Jorge, R. M. Natal (Herausgeber)
149,99 EUR

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, N von Pnueli, Amir (Herausgeber); Virbitskaite, Irina (Herausgeber); Voronkov, Andrei (Herausgeber)
96,29 EUR

Algorithms and Architectures for Parallel Processing 17th International Conference, ICA3PP 2017, Hel von Ibrahim, Shadi (Herausgeber); Choo, Kim-Kwang Raymond (Herausgeber); Yan, Zheng (Herausgeber); Pedry
117,69 EUR

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problem von Beldiceanu, Nicolas (Herausgeber); Jussien, Narendra (Herausgeber); Pinson, Eric (Herausgeber)
74,89 EUR

Trust and Trustworthy Computing 9th International Conference, TRUST 2016, Vienna, Austria, August 29 von Franz, Michael (Herausgeber); Papadimitratos, Panos (Herausgeber)
53,49 EUR

Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held von Jacquet, Jean-Marie (Herausgeber); Massink, Mieke (Herausgeber)
58,84 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.