Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
Häftad, 2006
559 kr
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
AvNikolai Tillmann,Oleg Sokolsky
E-bok
PDF, Engelska, 2010734 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
2006734 kr
Runtime Verification
Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
Häftad, 2010
559 kr
Handbook of Real-Time and Embedded Systems
Insup Lee, Joseph Y-T. Leung, Sang H. Son
Inbunden, 2007
3 333 kr
Handbook of Real-Time and Embedded Systems
Insup Lee, Joseph Y-T. Leung, Sang H. Son
E-bok
20073 982 kr
Handbook of Real-Time and Embedded Systems
Insup Lee, Joseph Y-T. Leung, Sang H. Son
E-bok
20073 982 kr
Del 8570
- -30%
Del 1