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!

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!

Models, Algorithms, Logics and Tools

by Aceto, Luca; Bacci, Giorgio; Bacci, Giovanni; et al.

• ISBN13: 9783319631202
• ISBN10: 3319631209
• Format: Paperback

Models, Algorithms, Logics and Tools

by Luca Aceto

• ISBN13: 9783319631219
• ISBN10: 3319631217
• Format: Nonspecific Binding

Action Refinement in Process Algebras

by Luca Aceto

• ISBN13: 9780521019736
• ISBN10: 0521019737
• Format: Paperback

Automata, Languages and Programming : 35th International Colloquium, Icalp 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I

by Aceto, Luca; Damgaard, Ivan; Goldberg, Leslie Ann; et al.

• ISBN13: 9783540705741
• ISBN10: 3540705740
• Format: Paperback

Automata, Languages and Programming

by Aceto, Luca; Damgaard, Ivan; Goldberg, Leslie Ann; et al.

• ISBN13: 9783540705826
• ISBN10: 3540705821
• Format: Paperback

Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I

by Aceto, Luca; Henzinger, Monika; Sgall, Jiri

• ISBN13: 9783642220050
• ISBN10: 3642220053
• Format: Paperback

Automata, Languages and Programming

by Aceto, Luca; Henzinger, Monika; Sgall, Jiri

• ISBN13: 9783642220111
• ISBN10: 3642220118
• Format: Paperback

Automata, Languages and Programming

by Luca Aceto; ?Ivan Damgaard; ?Leslie Ann Goldberg

• ISBN13: 9783540705833
• ISBN10: 354070583X
• Format: Nonspecific Binding