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

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

by Daniel Jackson (Author)

Synopsis

Previously published in hardcover: 2012.

$51.52

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 376
Edition: revised edition
Publisher: MIT Press
Published: 11 Mar 2016

ISBN 10: 0262528908
ISBN 13: 9780262528900