Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
DPD courier 3.99 €
DPD point 2.99 €
GLS courier 4.99 €
Shopping guide
My account
▸
Empty :-(
0
Specification and Development of Interactive Systems
Focus on Streams, Interfaces, and Refinement
Language
English
English
Book
Paperback
A mathematical and logical foundation for the specification and development of interactive systems b...
Full description
Libristo code: 06794813
?
132 b
132 b
53.79
€
VAT included
In stock at our supplier
Shipping in 8-11 days
Delivery to Austria
Delivery to Austria
Up to 30 days for returns
Customers also purchased
/
Hardback
123.99
€
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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Specification and Development of Interactive Systems
Author
Manfred Broy
Language
English
English
Binding
Book - Paperback
Date of issue
2012
Number of pages
348
EAN
9781461265184
ISBN
1461265185
Libristo code
06794813
Publishers
Springer, Berlin
Weight
556
Dimensions
154 x 234 x 21
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
29.39
€
/
Paperback
20.99
€
