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