Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

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

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 48 entries
Chapters/HeadingsAuthor(s)PagesInfo
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/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 48 entries