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

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

Subject Term
: 
Mathematical logic.
 
Computer logic.
 
Computers.

Added Author
: 
Ait Ameur, Yamine.
 
Schewe, Klaus-Dieter.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
https://doi.org/10.1007/978-3-662-43652-3


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book488966-1001ONLINEElektronik Kütüphane