• Sign In / Register
  • Help
  • Basket0
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement - Monographs in Computer Science (Paperback)
  • Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement - Monographs in Computer Science (Paperback)
zoom

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement - Monographs in Computer Science (Paperback)

(author), (author)
£69.99
Paperback 348 Pages / Published: 17/10/2012
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781461265184
Number of pages: 348
Weight: 563 g
Dimensions: 235 x 155 x 19 mm
Edition: Softcover reprint of the original 1st ed. 200

You may also be interested in...

Machine Learning
Added to basket
£39.99
Paperback
The Elements of Statistical Learning
Added to basket
Networks: A Very Short Introduction
Added to basket
Computing with Quantum Cats
Added to basket
Don't Make Me Think, Revisited
Added to basket
Introducing Artificial Intelligence
Added to basket
Data Science from Scratch
Added to basket
Using Docker
Added to basket
£47.99
Paperback
Foundation Mathematics
Added to basket
Emotion: A Very Short Introduction
Added to basket
The Art of Computer Programming
Added to basket
The Singularity is Near
Added to basket
Blockchain
Added to basket
£19.99
Paperback
How to Pass Higher Computing Science
Added to basket
Make 3D Printing
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.