Abstract state machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / Yamine Ait Ameur, Klaus-Dieter Schewe (eds.).
2014
Q325.5
Linked e-resources
Linked Resource
Details
Title
Abstract state machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / Yamine Ait Ameur, Klaus-Dieter Schewe (eds.).
Meeting Name
ISBN
9783662436523 electronic book
3662436523 electronic book
9783662436516
3662436523 electronic book
9783662436516
Published
Heidelberg : Springer, 2014.
Language
English
Description
1 online resource (xvi, 336 pages) : illustrations.
Item Number
10.1007/978-3-662-43652-3 doi
Call Number
Q325.5
Dewey Decimal Classification
006.3/1
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Description based on online resource; title from PDF title page (SpringerLink, viewed June 9, 2014).
Series
Lecture notes in computer science ; 8477. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Record Appears in