Verification
Francesco Calogero
₹13,623
Results for “Vinification”
Showing 1–24 of 326 books
Verification
Francesco Calogero
₹3,756
Verification 1997
Richard Guthrie
₹13,591
Verification 1996
J. B. Poole
₹4,364
Runtime Verification
RV 2008 (2008 Budapest, Hungary)
₹3,930
Formal Verification
Erik Seligman, M. V. Achutha Kiran Kumar, Tom Schubert
₹6,759
System Verification
Jeffrey O. Grady
₹7,304
Formal Verification
Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar
₹9,111
Forecast Verification
I. T. Jolliffe
₹6,565
Professional Verification
Paul Wilcox
₹1,816
Professional Verification
Paul Wilcox
₹3,911
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
Runtime Verification
César Sánchez Yliès Falcone
₹3,225
Runtime Verification
Ylies Falcone, Cesar Sanchez
₹4,260
Runtime Verification
RV 2009 (2009 Grenoble, France)
₹4,218
Runtime Verification
Koushik Sen, Sarfaz Khurshid
₹5,672
Program Verification
Timothy R. Colburn
₹33,980
System Verification
Jeffrey O. Grady
₹6,480
Runtime Verification
Howard Barringer, Ylies Falcone, Bernd Finkbeiner
₹5,647
Computer Aided Verification
Costas Courcoubetis
₹5,697
Computer Aided Verification
David L. Dill
₹5,622
Computer Aided Verification
Rajeev Alur, Thomas Henzinger
₹5,618