Verification
Francesco Calogero
₹13,623
Results for “Verification”
Showing 1–24 of 318 books
Verification
Francesco Calogero
₹3,756
Formal Verification
Erik Seligman, M. V. Achutha Kiran Kumar, Tom Schubert
₹6,759
Program Verification
Timothy R. Colburn
₹33,980
Runtime Verification
Ylies Falcone, Cesar Sanchez
₹4,260
Runtime Verification
César Sánchez Yliès Falcone
₹3,225
Runtime Verification
Martin Leucker Christian Colombo
₹4,428
Runtime Verification
Bernd Finkbeiner, Leonardo Mariani
₹5,095
Software Verification
Nadia Polikarpova Maria Christakis, Peter Schrammel Parasara Sridhar Duggirala
₹4,269
Verification 1997
Richard Guthrie
₹13,591
Verification 1996
J. B. Poole
₹4,364
System Verification
Jeffrey O. Grady
₹7,304
Formal Verification
Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar
₹9,111
Runtime Verification
RV 2008 (2008 Budapest, Hungary)
₹3,930
Forecast Verification
I. T. Jolliffe
₹6,565
Professional Verification
Paul Wilcox
₹1,816
Professional Verification
Paul Wilcox
₹3,911
Runtime Verification
RV 2009 (2009 Grenoble, France)
₹4,218
Runtime Verification
Howard Barringer, Ylies Falcone, Bernd Finkbeiner
₹5,647
Runtime Verification
Koushik Sen, Sarfaz Khurshid
₹5,672
System Verification
Jeffrey O. Grady
₹6,480
Computer Aided Verification
Rajeev Alur, Doron A. Peled
₹4,559
Computer Aided Verification
Kim G. Larsen, Arne Skou
₹5,690
Computer Aided Verification
Alan J. Hu, Moshe y. Vardi
₹5,376