Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
Häftad, 2006
561 kr
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
AvNikolai Tillmann,Oleg Sokolsky
E-bok
PDF, Engelska, 2010708 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
2006708 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
Handbook of Real-Time and Embedded Systems
Insup Lee, Joseph Y-T. Leung, Sang H. Son
Inbunden, 2007
3 284 kr
Handbook of Real-Time and Embedded Systems
Insup Lee, Joseph Y-T. Leung, Sang H. Son
E-bok
20073 842 kr
Handbook of Real-Time and Embedded Systems
Insup Lee, Joseph Y-T. Leung, Sang H. Son
E-bok
20073 842 kr
Del 8570
- -19%