Książka Hardware and Software: Verification and Testing Nir Piterman

Hardware and Software: Verification and Testing

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Autor: Nir Piterman
Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
203.95
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conferen...

Informacje o książce

Autor
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2015
strony
293
EAN
9783319262864
ISBN
3319262866
Enbook ID
09925334
Waga
4745
Wymiary
155 x 235 x 15

Pełny opis

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; veri cation of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain veri cation; synthesis.

Możesz być zainteresowany

33.97

The Gift

Richard Paul Evans
62.49

Hacker's Delight

Henry Warren
227.51

Oxford First Dictionary

Oxford Dictionaries
77.29

Chaos

Dan Piepenbring
43.02
53.73

Otaku Food!

Danielle Baghernejad
98.22
57.43

Hands Down

Mariana Zapata
79.34
43.80
70.87

Refractory Materials

Faraday Society
87.32

The 100

Kass Morgan
43.02
44.19

Klienci, którzy kupili tę książkę, kupili również

32.31
48.38

Slor

Eivor
77.68
69.50