Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Inbunden, 2015
561 kr
Computer Aided Verification
AvHana Chockler,Georg Weissenbacher
Inbunden, Engelska, 2020
861 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
Validation of Evolving Software
Natasha Sharygina, Leonardo Mariani, Daniel Kroening, Hana Chockler
E-bok
2015708 kr
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Häftad, 2016
561 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
308 kr
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Häftad, 2016
561 kr
Digitaltechnik - Eine praxisnahe Einführung
Christoph M. Wintersteiger, Georg Weissenbacher, Daniel Kroning, Armin Biere
E-bok
2008255 kr