Formal Specification and Design Image close
Formal Specification and Design by L.M.G. Feijs
Formal Specification and Design by L.M.G. Feijs
Show Hide Adult Content
Formal Specification and Design close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Formal Specification and Design

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$142.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $35.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Cambridge Tracts in Theoretical Computer Science

See all products in this series

Modal Logic by Patrick Blackburn
$259.99
Modal Logic
by Patrick Blackburn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Unifying Framework for Structured Analysis and Design Models by T.H. Tse
$101.99
A Unifying Framework for Structured Analysis and Design Models
by T.H. Tse ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Programs, Recursion and Unbounded Choice by Wim H. Hesselink
$126.99
Programs, Recursion and Unbounded Choice
by Wim H. Hesselink ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Lambda-calculus, Combinators and Functional Programming by G. E. Revesz
$143.99
Lambda-calculus, Combinators and Functional Programming
by G. E. Revesz ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Logic of Typed Feature Structures by Robert L. Carpenter
$127.99
The Logic of Typed Feature Structures
by Robert L. Carpenter ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Domains and Lambda-Calculi on Hardback by Roberto M. Amadio
$376.99
Domains and Lambda-Calculi
by Roberto M. Amadio ~ Hardback
Available - Usually ships in 3-4 weeks
Action Semantics by Peter D. Mosses
$156.99
Action Semantics
by Peter D. Mosses ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Predicate Transformer Semantics by Ernest G. Manes
$150.99
Predicate Transformer Semantics
by Ernest G. Manes ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Two-Level Functional Languages on Hardback by Flemming Nielson
$339.99
Two-Level Functional Languages
by Flemming Nielson ~ Hardback
Available - Usually ships in 3-4 weeks
Algebraic Specification of Communication Protocols
$127.99
Algebraic Specification of Communication Protocols
Paperback / softback
Available - Usually ships in 3-4 weeks
Term Rewriting Systems on Hardback by Terese
$504.99
Term Rewriting Systems
by Terese ~ Hardback
Available - Usually ships in 3-4 weeks
The Clausal Theory of Types on Hardback by D.A. Wolfram
$182.99
The Clausal Theory of Types
by D.A. Wolfram ~ Hardback
Available - Usually ships in 3-4 weeks
Derivation and Computation on Hardback by H. Simmons
$352.99
Derivation and Computation
by H. Simmons ~ Hardback
Available - Usually ships in 3-4 weeks
The Uncertain Reasoner's Companion by J.B. Paris
$132.99
The Uncertain Reasoner's Companion
by J.B. Paris ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Applications of Process Algebra
$248.99
Applications of Process Algebra
Paperback / softback
Available - Usually ships in 3-4 weeks
Two-Level Functional Languages by Flemming Nielson
$141.99
Two-Level Functional Languages
by Flemming Nielson ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. 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 emphasised throughout, so the book will be an excellent choice for courses in these areas.
Release date Australia
November 10th, 2005
Audience
  • Professional & Vocational
Illustrations
Worked examples or Exercises
Pages
352
Dimensions
170x245x18
ISBN-13
9780521435925
Product ID
2362684

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation