Decidability of Parameterized Verification

by Bloem, Roderick; Jacobs, Swen; Khalimov, Ayrat; et al.

• ISBN13: 9781627057431
• ISBN10: 1627057439
• Format: Paperback

• Rental Textbook Copy In Stock Usually Ships in 24 Hours
• New Textbook Copy In Stock Usually Ships in 24 Hours
• Free Shipping On Orders Over $35!

Handbook of Model Checking

by Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut; et al.

• ISBN13: 9783319105741
• ISBN10: 3319105744
• Format: Hardcover

Hardware and Software

by Bloem, Roderick; Arbel, Eli

• ISBN13: 9783319490519
• ISBN10: 3319490516
• Format: Paperback

Handbook of Model Checking

by Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut; et al.

• ISBN13: 9783030132330
• ISBN10: 3030132331
• Edition: Reprint
• Format: Paperback

Decidability of Parameterized Verification

by Roderick Bloem; Swen Jacobs; Ayrat Kalimov; et al.

• ISBN13: 9783031008832
• ISBN10: 3031008839
• Format: Nonspecific Binding

Hardware and Software: Verification and Testing

by Roderick Bloem

• ISBN13: 9783319490526
• ISBN10: 3319490524
• Format: Nonspecific Binding

Trusted Systems

by Bloem, Roderick; Lipp, Peter

• ISBN13: 9783319034904
• ISBN10: 3319034901
• Format: Paperback

Computer Aided Verification

by Biere, Armin; Bloem, Roderick

• ISBN13: 9783319088662
• ISBN10: 3319088661
• Format: Paperback

Trusted Systems

by Roderick Bloem

• ISBN13: 9783319034911
• ISBN10: 331903491X
• Format: Nonspecific Binding