Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
Häftad, 2006
558 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
558 kr
Handbook of Real-Time and Embedded Systems
Insup Lee, Joseph Y-T. Leung, Sang H. Son
Inbunden, 2007
3 739 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
20074 155 kr
Del 8570
- Signerad!
SIGNERAD - Enkel privatekonomi : Din praktiska guide till livets alla pengafrågor
Annifrid Lilja, Björn Lilja
Kartonnage, 2026
229 kr