search for books and compare prices
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
Reprint edition from Springer-Verlag New York Inc (October 17, 2012)
9781461265184 | details & prices | 364 pages | List price $99.00
About: 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.
About: 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.