Rahva Raamat logo
English
ShopsAudiobooks appRestaurant LiteraatEventsBlogSpecial offers!
Login
Rahva Raamat logo
Books
triangle icon
E-books
triangle icon
Used books
triangle icon
Gifts
triangle icon
Games & Toys
triangle icon
Home
triangle icon
Beauty & Fashion
triangle icon
Music & Movies
triangle icon
Stationery
triangle icon
Electronics
triangle icon
delivery icon

Shipping is free

home icon

Model Checking

Model Checking
gallery icon
Gallery

Model Checking

Author

Edmund M. Clarke Jr. (Carnegie Mellon University)

,

Orna Grumberg (Technion)

,

Daniel Kroening (Oxford University)

,

Doron Peled (Bar Ilan University)

,

Helmut Veith (Technische Universitaet Darmstadt)

[object Object] icon

Details

Stock availability

€122.43

delivery icon