Tools and Algorithms for the Construction and Analysis of Systems
Nir Piterman, Scott Smolka
Häftad
719 kr
Del 9434 i serien Lecture Notes in Computer Science
Hardware and Software: Verification and Testing
11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Häftad, Engelska, 2015
689 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015. The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions.
Produktinformation
- Utgivningsdatum2015-10-27
- Mått155 x 235 x 17 mm
- Vikt476 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor293
- FörlagSpringer International Publishing AG
- ISBN9783319262864
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
- Nyhet
- Nyhet
- Nyhet
Del 1
- Nyhet
Del 6
- Nyhet
Hjärnans akilleshälar : hur din hjärna lurar dig, och vad du kan göra åt det
Anders Hansen
Inbunden
279 kr329 kr
- Nyhet
- Nyhet