Programmentwicklung Und Verifikation
Gerald Futschek
₹4,601
Results for “Verifikation”
Showing 1–24 of 311 books
Strukturbasierte Verifikation Von Bpmn-Modellen
Jens Mller
₹4,315
Entwurf Und Verifikation Mikroprogrammierter Rechnerarchitekturen
Werner Damm
₹3,508
Verification
Francesco Calogero
₹13,623
Verification
Francesco Calogero
₹3,756
Versification
James McAuley
₹1,010
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