Computer Aided Verification
Costas Courcoubetis
₹5,697
Results for “Computer Aided Verification”
Showing 1–24 of 419 books
Computer Aided Verification
David L. Dill
₹5,622
Computer Aided Verification
Rajeev Alur, Thomas Henzinger
₹5,618
Computer Aided Verification
Madhusudan Parthasarathy, Sanjit A. Seshia
₹5,842
Computer Aided Verification
Rajeev Alur, Doron A. Peled
₹4,559
Computer Aided Verification
Kim G. Larsen, Arne Skou
₹5,690
Computer Aided Verification
Ed Brinksma, Kim G. Larsen
₹4,400
Computer Aided Verification
Alan J. Hu, Moshe y. Vardi
₹5,376
Computer Aided Verification
E. Allen Emerson, A. Prasad Sistla
₹4,411
Computer Aided Verification
Shuvendu K. Lahiri, Chao Wang
₹3,190
Computer-Aided Verification
Robert Kurshan
₹11,568
Computer Aided Verification
Viktor Kunčak Rupak Majumdar
₹3,067
Computer Aided Verification
Rupak Majumdar, Viktor Kunčak
₹4,300
Computer Aided Verification
Rupak Majumdar, Viktor Kunčak
₹4,317
Computer Aided Verification
Hana Chockler, Georg Weissenbacher
₹4,309
Computer Aided Verification
Shuvendu K. Lahiri, Chao Wang
₹3,190
Computer Aided Verification
Ganesh Gopalakrishnan, Shaz Qadeer
₹5,768
Computer-Aided Verification
CAV (Conference) (2nd 1990 New Brunswick, N.J.)
₹5,103
Computer Aided Verification
Gregor Von Bochmann, David K. Probst
₹5,657
Computer Aided Verification
Pierre Wolper
₹5,606
Computer Aided Verification
Tayssir Touili, Byron Cook, Paul Jackson
₹5,452
Computer Aided Verification
Fabio Somenzi
₹4,257
Computer Aided Surgery
Takeyoshi Dohi, Hongen Liao
₹5,458
Computer Aided Selling
Katja Kieliszek
₹3,143