Könyv 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

Szerző: Nir Piterman
Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
18 538 Ft
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conferen...

Információk a könyvről

Szerző
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2015
oldal
293
EAN
9783319262864
ISBN
3319262866
Enbook ID
09925334
Súly
4745
Méretek
155 x 235 x 15

Teljes leírás

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.

Érdekelheti

3 170 Ft

The Gift

Richard Paul Evans
5 685 Ft

Hacker's Delight

Henry Warren
20 587 Ft

Oxford First Dictionary

Oxford Dictionaries
6 483 Ft

Chaos

Dan Piepenbring
4 008 Ft
4 846 Ft

Otaku Food!

Danielle Baghernejad
9 029 Ft
5 102 Ft

Hands Down

Mariana Zapata
7 196 Ft
4 021 Ft

Refractory Materials

Faraday Society
7 877 Ft

The 100

Kass Morgan
4 008 Ft
4 264 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták