✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 384.649 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Softcover - 9783319133379
53,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 5 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.

10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Details

Verlag Springer International Publishing
Ersterscheinung 06. November 2014
Maße 23.5 cm x 15.5 cm
Gewicht 487 Gramm
Format Softcover
ISBN-13 9783319133379
Seiten 302

Schlagwörter

Artificial Intelligence, Compiler und Übersetzer, Compilers and Interpreters, Computer Communication Networks, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Künstliche Intelligenz, Netzwerk-Hardware, Software Engineering, Theoretische Informatik

Herstellerinformationen +