Model Checking, second edition

by Clarke, Edmund M.; Grumberg, Orna; Kroening, Daniel; et al.

• ISBN13: 9780262038836
• ISBN10: 0262038838
• Edition: 2nd
• Format: Hardcover

• Rental Textbook Copy Usually Ships in 3-5 Business Days
• New Textbook Copy Usually Ships in 3-5 Business Days
• Free Shipping On Orders Over $35!

Principles of Model Checking

by Baier, Christel; Katoen, Joost-Pieter; Larsen, Kim Guldstrand

• ISBN13: 9780262026499
• ISBN10: 026202649X
• Format: Hardcover

• Rental Textbook Copy Usually Ships in 3-5 Business Days
• New Textbook Copy Usually Ships in 3-5 Business Days
• Free Shipping On Orders Over $35!

Improving Scalability of Model Checking Software Architectures

by Chukwuogo, Bosah

• ISBN13: 9783639101423
• ISBN10: 3639101421
• 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!

Model Checking Abstract State Machines

by Winter, Kirsten

• ISBN13: 9783639018912
• ISBN10: 3639018915
• 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!

Verification of Communication Protocols in Web Services Model-checking Service Compositions

by Sakib, Kazi; Tari, Zahir; Bertok, Peter

• ISBN13: 9780470905395
• ISBN10: 0470905395
• Edition: 1st
• Format: Hardcover

• Rental Textbook Copy Usually Ships in 3-4 Business Days
• New Textbook Copy Usually Ships in 3-4 Business Days
• Free Shipping On Orders Over $35!

Model Checking Software

• ISBN13: 9783031661488
• ISBN10: 3031661486
• Format: Nonspecific Binding

Verification, Model Checking, and Abstract Interpretation

• ISBN13: 9783031505232
• ISBN10: 3031505239
• Format: Nonspecific Binding

Verification, Model Checking, and Abstract Interpretation

• ISBN13: 9783031505201
• ISBN10: 3031505204
• Format: Nonspecific Binding

Model Checking Software

• ISBN13: 9783030846282
• ISBN10: 3030846288
• Format: Nonspecific Binding

Model Checking, Synthesis, and Learning

• ISBN13: 9783030913830
• ISBN10: 303091383X
• Format: Nonspecific Binding