Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
Häftad, 2006
572 kr
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
AvNikolai Tillmann,Oleg Sokolsky
E-bok
PDF, Engelska, 2010739 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Approaches to Software Testing and Runtime Verification
Burkhart Wolff, Grigore Rosu, Manuel Nunez, Klaus Havelund
E-bok
2006739 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
Handbook of Real-Time and Embedded Systems
Insup Lee, Joseph Y-T. Leung, Sang H. Son
Inbunden, 2007
3 854 kr
Handbook of Real-Time and Embedded Systems
Insup Lee, Joseph Y-T. Leung, Sang H. Son
E-bok
20074 187 kr
Handbook of Real-Time and Embedded Systems
Insup Lee, Joseph Y-T. Leung, Sang H. Son
E-bok
20074 187 kr