Reactive Systems: Modelling, Specification and Verification

by Luca Aceto , Anna Ingólfsdóttir , Kim Guldstrand Larsen , Jiri Srba

• ISBN13: 9780521875462
• ISBN10: 0521875463
• Edition: 1st
• Format: Hardcover

• Rental Textbook Copy Special Order: 1-2 Weeks
• New Textbook Copy Special Order: 1-2 Weeks
• 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!

Reactive Systems

by Luca Aceto; Anna Ingólfsdóttir; Kim Guldstrand Larsen; et al.

• ISBN13: 9780511332142
• ISBN10: 0511332149
• Format: Nonspecific Binding

• Rental Textbook Copy Special Order: 1-2 Weeks
• New Textbook Copy Special Order: 1-2 Weeks
• Free Shipping On Orders Over $35!

Formal Methods for Industrial Critical Systems

by Larsen, Kim Guldstrand; Willemse, Tim

• ISBN13: 9783030270070
• ISBN10: 3030270076
• Format: Paperback

Reachability Problems

by Kim Guldstrand Larsen

• ISBN13: 9783319459943
• ISBN10: 3319459945
• Format: Nonspecific Binding

Dependable Software Engineering. Theories, Tools, and Applications

by Kim Guldstrand Larsen

• ISBN13: 9783319694832
• ISBN10: 3319694839
• Format: Nonspecific Binding

Formal Methods for Industrial Critical Systems

by Kim Guldstrand Larsen

• ISBN13: 9783030270087
• ISBN10: 3030270084
• Format: Nonspecific Binding