10% OFF

Software Abstractions eBook

Logic, Language, And Analysis

by Daniel Jackson
language: english
Publisher: THE MIT PRESS, November of 2011 ‧
106,00€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.

Software Abstractions

Logic, Language, And Analysis

by Daniel Jackson

Property Description
ISBN: 9780262300247
Publisher: THE MIT PRESS
Release Date: November of 2011
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: The Mit Press
Categories: eBooks in English > Computing > Schedule
EAN: 9780262300247

BOOKS FROM THE SAME COLLECTION