Hardware and Software : Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings - Valeria Bertacco

Hardware and Software

Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

By: Valeria Bertacco (Editor), Axel Legay (Editor)

Paperback | 31 October 2013

At a Glance

Paperback


$101.07

or 4 interest-free payments of $25.27 with

 or 

Aims to ship in 7 to 10 business days

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.

More in Software Engineering

Fluent C : Principles, Practices, and Patterns - Christopher Preschern

RRP $125.50

$51.25

59%
OFF
Information Modeling and Relational Databases : 2nd Edition - Terry Halpin
Systems Analysis and Design : 8th Edition - Alan Dennis

RRP $263.95

$220.75

16%
OFF
Learning Agile : Understanding Scrum, XP, Lean, and Kanban - Andrew Stellman
Debugging Teams : Better Prductivity Through Collaboration - Brian Debugging
Learning Algorithms : A Programmer's Guide to Writing Better Code - George Heineman
Typescript Cookbook : Real World Type-Level Programming - Stefan Baumgartner
SQL For Dummies : 9th edition - Allen G. Taylor

RRP $57.95

$36.50

37%
OFF
Unicode Explained : O'Reilly Ser. - Jukka K. Korpela

RRP $114.00

$47.95

58%
OFF
Mastering Regular Expressions : OREILLY - Jeffrey E. F. Friedl

RRP $114.00

$52.95

54%
OFF
Learning Visual Basic .NET : LEARNING - Jesse Liberty

RRP $66.50

$31.95

52%
OFF