The B language and method : a guide to practical formal development
Title:
The B language and method : a guide to practical formal development
Author:
Lano, K., author.
ISBN:
9781447114949
Personal Author:
Physical Description:
1 online resource (239 pages) : illustrations.
Series:
Formal approaches to computing and information technology
Formal approaches to computing and information technology.
Local Note:
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Genre:
Electronic Access:
Click to View