260 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
Häftad
551 kr
Del 13244
Tools and Algorithms for the Construction and Analysis of Systems
Dana Fisman, Grigore Rosu
Häftad
442 kr
Del 13255
Del 13243
Tools and Algorithms for the Construction and Analysis of Systems
Dana Fisman, Grigore Rosu
Häftad
442 kr
Runtime Verification
Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
Häftad
551 kr