Title:
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Author:
Ait Ameur, Yamine. editor.
ISBN:
9783662436523
Edition:
1st ed. 2014.
Physical Description:
XVI, 336 p. 93 illus. online resource.
Series:
Theoretical Computer Science and General Issues ; 8477
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-662-43652-3Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 488966-1001 | ONLINE | Searching... | Searching... |