Software Abstractions
By:"Daniel Jackson"
Published on 2012 by MIT Press
In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach -- which Jackson calls \
ISBN : 9780262017152
RATE :
Author :"Daniel Jackson"
ID: DDv8Ie_jBUQC
This Book was ranked 25 by Google Books for keyword buy textbooks.
No comments:
Post a Comment