Sign In | Not yet a member? | Submit your article
 
Home   Technical   Study   Novel   Nonfiction   Health   Tutorial   Entertainment   Business   Magazine   Arts & Design   Audiobooks & Video Training   Cultures & Languages   Family & Home   Law & Politics   Lyrics & Music   Software Related   eBook Torrents   Uncategorized  

Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)
Date: 12 April 2011, 04:08

Free Download Now     Free register and download UseNet downloader, then you can FREE Download from UseNet.

    Download without Limit " Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) " from UseNet for FREE!
In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants, and black-box correctness are also presented. More advanced ideas, for example, Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasized throughout so the book will be an excellent choice for courses in these areas.
Related Articles:
Design  

DISCLAIMER:

This site does not store Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) on its server. We only index and link to Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) provided by other sites. Please contact the content providers to delete Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) if any and email us, we'll remove relevant links or contents immediately.


Posts related to "Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)"
Hybrid Graph Theory and Network Analysis (Cambridge Tracts in Theoretical Computer Science) Hybrid Graph Theory and Network Analysis (Cambridge Tracts in Theoretical Computer Science)

ISBN/ASIN: 0521461170
Total size: 5.3 MB
Biomedical Simulation: 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Biomedical Simulation: 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

ISBN/ASIN: 3540705201
Total size: 17.7 MB
The Limits of Mathematics: A course on information theory and the limits of formal reasoning (Discrete Mathematics and Theoretical Computer Science) The Limits of Mathematics: A course on information theory and the limits of formal reasoning (Discrete Mathematics and Theoretical Computer Science)

ISBN/ASIN: 981308359X
Total size: 1.2 MB
Algorithms and Applications: Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Algorithms and Applications: Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

ISBN/ASIN: 3642124755
Total size: 3.7 MB
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science) Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)

ISBN/ASIN: 0521622778
Total size: 2.4 MB
Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography (Texts in Theoretical Computer Science. An EATCS Series) Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography (Texts in Theoretical Computer Science. An EATCS Series)

ISBN/ASIN: 3540140158
Total size: 6 MB
Theoretical Aspects of Distributed Computing in Sensor Networks (Monographs in Theoretical Computer Science. An EATCS Series) Theoretical Aspects of Distributed Computing in Sensor Networks (Monographs in Theoretical Computer Science. An EATCS Series)

ISBN/ASIN: 3642148484
Total size: 11.2 MB
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series) Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)

ISBN/ASIN: 3540211500
Total size: 31 MB
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

ISBN/ASIN: 3540678239
Total size: 4 MB

Comments

Comments (0) All

Verify: Verify

    Sign In   Not yet a member?


Popular searches
running