Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Title:

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

Subject Term:

Added Author:

Added Corporate Author:

Electronic Access:

Holds:
Copies:

Library	Material Type	Item Barcode	Shelf Number	Status	Item Holds
Searching... Online Library	E-Book	488966-1001	ONLINE	Searching... Unknown	Searching... Unavailable