Software abstractions : logic, language, and analysis

Daniel Jackson
Bok Engelsk 2012


Utgitt	Cambridge, Mass. : MIT Press , c2012
Omfang	376 s. : ill.
Utgave	Rev. ed.
Emner	Formelle metoder : (NoOU)REAL002404 Formelle modeller : (NoOU)REAL002432
Dewey	005.101
ISBN	0262017156. - 9780262017152

Biblioteksøk