Home > Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Book Informaton
Author
Marc Frappier; Uwe Glässer; Sarfraz Khurshid; Régine Laleau; Steve Reeves
Series
Lecture Notes in Computer Science
Volume
5977
Year of Publication
2010
Publisher
Springer Berlin Heidelberg
Pages
XIV, 416
Language
en
ISBN
9783642118104, 9783642118111
ARI Id
1664726226103
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 48 entries
Chapters/Headings | Author(s) | Pages | Info |
1-1 | |||
2-19 | |||
20-33 | |||
34-46 | |||
47-60 | |||
61-74 | |||
75-90 | |||
91-104 | |||
105-117 | |||
118-131 | |||
132-145 | |||
146-159 | |||
160-173 | |||
174-188 | |||
189-202 | |||
203-216 | |||
217-230 | |||
231-244 | |||
245-258 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 48 entries