DotCom

Enable
 

Software Abstractions: Logic, Language, and Analysis : Daniel Jackson



Customers also bought these products:


Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
Author: Michael Huth
Manufacturer: Cambridge University Press
ListPrice: $72.00
Offer: $64.80
 Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development
Author: Yves Bertot
Manufacturer: Springer
ListPrice: $99.00
Offer: $63.96
 Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (OReilly))
Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (O'Reilly))
Manufacturer: O'Reilly Media, Inc.
ListPrice: $44.99
Offer: $38.82
Programming Erlang: Software for a Concurrent World
Programming Erlang: Software for a Concurrent World
Author: Joe Armstrong
Manufacturer: Pragmatic Bookshelf
ListPrice: $36.95
Offer: $24.39
 The Way of Z: Practical Programming with Formal Methods
The Way of Z: Practical Programming with Formal Methods
Author: Jonathan Jacky
Manufacturer: Cambridge University Press
ListPrice: $47.00
Offer: $42.30
 The SPIN Model Checker: Primer and Reference Manual
The SPIN Model Checker: Primer and Reference Manual
Author: Gerard J. Holzmann
Manufacturer: Addison-Wesley Professional
ListPrice: $68.99
Offer: $55.19
Software Architecture in Practice (2nd Edition) (SEI Series in Software Engineering)
Software Architecture in Practice (2nd Edition) (SEI Series in Software Engineering)
Author: Len Bass
Manufacturer: Addison-Wesley Professional
ListPrice: $69.99
Offer: $55.99
 The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition (2nd Edition)
The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition (2nd Edition)
Author: Frederick P. Brooks
Manufacturer: Addison-Wesley Professional
ListPrice: $39.99
Offer: $33.09
 Programming Collective Intelligence: Building Smart Web 2.0 Applications
Programming Collective Intelligence: Building Smart Web 2.0 Applications
Author: Toby Segaran
Manufacturer: O'Reilly Media, Inc.
ListPrice: $39.99
Offer: $26.39
Design Patterns: Elements of Reusable Object-Oriented Software (Addison-Wesley Professional Computing Series)
Design Patterns: Elements of Reusable Object-Oriented Software (Addison-Wesley Professional Computing Series)
Author: Erich Gamma
Manufacturer: Addison-Wesley Professional
ListPrice: $59.99
Offer: $41.57


Products from United States  Products from United Kingdom


Add to Favorites





Secure Checkout

Sitemap | Copyright 2006 www.dotcomenable.com | Contact Us