Institution Morphisms
Häftad, Engelska, 2013
266 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
- Nyhet
Runtime Verification
Nikolai Tillmann, Oleg Sokolsky, Grigore Rosu, Gordon Pace, Insup Lee, Klaus Havelund, Bernd Finkbeiner, Ylies Falcone, Howard Barringer
E-bok
2010739 kr
Formal Approaches to Software Testing and Runtime Verification
Burkhart Wolff, Grigore Rosu, Manuel Nunez, Klaus Havelund
E-bok
2006739 kr
Del 13244
Tools and Algorithms for the Construction and Analysis of Systems
Dana Fisman, Grigore Rosu
Häftad, 2022
459 kr
Runtime Verification
Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
Häftad, 2010
572 kr