Software Abstractions: Logic, Language, and Analysis (The MIT Press)

More Information

Format: Illustrated
Pages: 376
Edition: revised edition
Publisher: MIT Press
Published: 11 Mar 2016
ISBN 10: 0262528908
ISBN 13: 9780262528900