Abstract State Machines, Alloy, B, TLA, VDM, and Z
Subtitle: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Publisher: Springer
Published: 2014
Language: eng
Number of pages: 336
ISBN-13: 9783662436523
Subjects: Machine learning; Machine theory