Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Inbunden, 2015
749 kr
Computer Aided Verification
Häftad, Engelska, 2020
1 109 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (3)
Produktinformation
- Utgivningsdatum2020-10-08
- Mått216 x 279 x 28 mm
- Vikt1 266 g
- FormatHäftad
- SpråkEngelska
- Antal sidor554
- FörlagSaint Philip Street Press
- ISBN9781013271007
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Häftad, 2016
749 kr
Del 10982
Del 10981
Hoppa över listan
Du kanske också är intresserad av
Del 10982
Del 10981
Digitaltechnik - Eine praxisnahe Einführung
Armin Biere, Daniel Kröning, Georg Weissenbacher, Christoph M. Wintersteiger, Armin Biere, Daniel Kröning
Häftad, 2008
409 kr
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Häftad, 2016
749 kr
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Inbunden, 2015
749 kr
- Nyhet
Del 3