Code: 06794813

Specification and Development of Interactive Systems

Name: Specification and Development of Interactive Systems
Brand: Springer, Berlin
SKU: 06794813
Price: 51.71 EUR
Availability: InStock
Author: Manfred Broy
ISBN: 9781461265184

by Manfred Broy

Language: English
Binding: Paperback
Number of pages: 348
Publisher: Springer, Berlin, 2012
More about this

51.71 €

RRP: 56 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Book of Slides
41.79 € -2 %
Buy
Tricot autour du monde
20.23 €
Buy
Cherry Pazzi Puzzle - Chameleon 1000 dílků
8.59 € -8 %
Buy
Kafka En La Orilla
13.05 € -10 %
Buy
Moleskine Sapphire Blue Extra Large Ruled Notebook Hard
28.13 € -25 %
Buy
Steve Jobs Zrodenie vizionára
16.89 € -39 %
Buy
Sherlock Holmes vyšetruje: Šesť Napoleonov
9.20 € -20 %
Buy
EL CAMPAMENTO
12.04 € -9 %
Buy
Izadora i Žar-vila
10.42 € -14 %
Buy
Symbolique des outils et glorification du métier
29.65 €
Buy
Dubbel Taschenbuch für den Maschinenbau Anwendungen
94.23 € -6 %
Buy
LA LLEGENDA DE SANT JORDI AMB PERSONATGE
7.99 €
Buy
Classic Cars and Automobile Engineering Volume 1: Engine, Principles, Cylinders, Crankshafts, Carburetors, Clutches
26.91 € -6 %
Buy
Die Hormonale Therapie Maligner Tumoren
53.13 € -4 %
Buy
El mundo de la violencia
14.87 €
Buy
Illustrations on the Moral Sense
47.87 € -4 %
Buy
Text Knowledge and Object Knowledge
182.49 €
Buy
You're Not Too Much
19.32 € -2 %
Buy
Mística y sociedad en diálogo
15.98 €
Buy
Tales of Two Americas: Stories of Inequality in a Divided Nation
13.45 € -24 %
Buy
Antibiogram of Bacterial Nosocomial Infection
32.08 € -14 %
Buy
The Master's House: A Tale Of Southern Life (1854)
34.61 € -2 %
Buy
Trigger-a Bird Dog in Training
23.68 € -10 %
Buy
prezzo della pace. Quando finisce una guerra
20.84 €
Buy
Nanoengineering in the Beverage Industry
264.78 €
Buy
Estatistica Aplicada Em Engenharia [Com Minitab]
14.06 € -7 %
Buy
Aide-mémoire de traitement biologique des eaux usées de l’ingénieur – Première Édition
24.99 €
Buy
Cuadernos de Hiroshima
28.03 € -9 %
Buy
Vallon De St. Imier
29.95 €
Buy
Ibero
19.73 €
Buy
101 Portland Moons
24.79 € -2 %
Buy
Art of Literature, Art in Literature
44.53 € -5 %
Pre-order
Sleep Soundly: Fall Asleep In Five Easy Steps
9.71 € -7 %
Buy
European Union and the Baltic States
69.93 €
Buy
C. W. Hufeland: Neue Auswahl Kleiner Medizinischer Schriften. Band 1
119.23 € -1 %
Buy
The Magic Ink, and Other Tales
31.87 € -2 %
Buy
Developing Unrelenting Drive, Dedication, and Determination
47.06 €
Buy
Hipnozcu
11.23 € -4 %
Buy
Trésors de la spiritualité franciscaine aux XXe et XXIe siècles
28.43 €
Buy
The Autobiography of a Quack and Other Stories
30.96 € -2 %
Buy
Pro Vocal
22.97 €
Buy
El adulto y el juego del niño
11.73 €
Buy
I Feel Earthquakes More Often Than They Happen
17.70 € -17 %
Buy
Schriften 1834-1836
154.45 € -6 %
Buy
I AM WORTHY ENOUGH
10.31 €
Buy
Semantic Ambiguity and Underspecification
77.63 €
Pre-order
Social Media Marketing Strategy
64.06 € -14 %
Buy
Tự lực va tha lực trong Phật giao
9 € -1 %
Buy
Broken Sword: The Excalibur Duet
14.97 € -6 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Specification and Development of Interactive Systems

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

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.