Hardware and Software: Verification and Testing

Lieferzeit: Lieferbar innerhalb 14 Tagen

51,36 €

inkl. 7 % MwSt. zzgl. Versandkosten

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19,2015, Proceedings, Lecture Notes in Computer Science 9434 – Programming and Software Engineering

ISBN: 3319262866
ISBN 13: 9783319262864
Herausgeber: Nir Piterman
Verlag: Springer Verlag GmbH
Umfang: xvi, 293 S., 88 farbige Illustr., 293 p. 88 illus. in color.
Erscheinungsdatum: 27.10.2015
Auflage: 1/2015
Produktform: Kartoniert
Einband: KT

Includes supplementary material: sn.pub/extras

Artikelnummer: 8696335 Kategorie:

Beschreibung

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.

Das könnte Ihnen auch gefallen …