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!

Abstract State Machines, Alloy, B, Tla, Vdm, and Z

by Butler, Michael; Schewe, Klaus-Dieter; Mashkoor, Atif; et al.

• ISBN13: 9783319335995
• ISBN10: 3319335995
• Format: Paperback

Abstract State Machines, Alloy, B, Tla, Vdm, and Z

by Butler, Michael; Raschke, Alexander; Hoang, Thai Son; et al.

• ISBN13: 9783319912707
• ISBN10: 3319912704
• Format: Paperback

Abstract State Machines, Alloy, B, TLA, VDM, and Z

by Michael Butler

• ISBN13: 9783319912714
• ISBN10: 3319912712
• Format: Nonspecific Binding

Abstract State Machines, Alloy, B, TLA, VDM, and Z

by Michael Butler

• ISBN13: 9783319336008
• ISBN10: 3319336002
• Format: Nonspecific Binding

Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000, Proceedings

by Gurevich, Yuri; Kutter, Philipp W.; Odersky, Martin; et al.

• ISBN13: 9783540679592
• ISBN10: 3540679596
• Format: Paperback

Abstract State Machines 2003, Advances in Theory and Practice: Advances in Theory and Practice ; 10th International Workshop, Asm 2003, Taormina, Italy, March 2003 : Proceedings

by Brger, E.; Gargantini, Angelo; Gargantini, A.; et al.

• ISBN13: 9783540006244
• ISBN10: 3540006249
• Format: Paperback

Abstract State Machines

by Borger, Egon; Stark, Robert F.

• ISBN13: 9783540007029
• ISBN10: 3540007024
• Edition: CD
• Format: Hardcover

Abstract State Machines, B and Z: First International Conference, Abz 2008 Lond, Uk, September 16-18, 2008 Proceedings

by Borger, Egon; Butler, Michael; Bowen, Jonathan P.; et al.

• ISBN13: 9783540876021
• ISBN10: 3540876022
• Format: Paperback

Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings

by Frappier, Marc; Glasser, Uwe; Khurshid, Sarfraz; et al.

• ISBN13: 9783642118104
• ISBN10: 3642118100
• Edition: 1st
• Format: Paperback