Kniha Specification and Development of Interactive Systems Manfred Broy

Specification and Development of Interactive Systems

Focus on Streams, Interfaces, and Refinement

Autor: Manfred Broy
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 8-11 dní
50.00
A mathematical and logical foundation for the specification and development of interactive systems b...

Informácie o knihe

Autor
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2012
Stránok
348
EAN
9781461265184
ISBN
1461265185
Enbook ID
06794813
Vydavateľ
Hmotnosť
556
Rozmery
154 x 234 x 21

Kompletný popis

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.

Mohlo by vás zaujímať

I AM WORTHY ENOUGH

Yolanda Marshall Nickerson
9.97
61.94
255.99
30.82

Book of Slides

Hawkins David R Hawkins
40.41
46.38
200.70
64.68
22.50

Vallon De St. Imier

Bundesamt für Landestopografie swisstopo
29.25

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

17.68

EL CAMPAMENTO

BLUE JEANS
14.38

O cavalheiro de ouro

Miranda Jarrett
4.20
19.86

Les femmes musulmanes et le hijab

The Sincere Seeker Collection
7.72

Kafka En La Orilla

Haruki Murakami
12.61
13.59

Hipnozcu

Richard Bach
10.85
7.62
11.15
149.42
27.10
6.94