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

by Daniel Jackson

Paperback

details (USA).
(see also: eBook (Kindle))

details (UK).
(see also: eBook (Kindle))

details (Germany).
(see also: Kindle Ausgabe)

details (Canada).
(see also: eBook (Kindle))

ISBN: 978-0-262-52890-0

ISBN-10: 0-262-52890-8

The MIT Press · 2016