Specification and Development of Interactive Systems

Name: Specification and Development of Interactive Systems
Brand: Springer, Berlin
SKU: 9781461265184
Price: 50.0 EUR
Availability: InStock

Focus on Streams, Interfaces, and Refinement

Autor: Manfred Broy

Jazyk:

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

Manfred Broy

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2012

Stránok

348

EAN

9781461265184

ISBN

1461265185

Enbook ID

06794813

Vydavateľ

Springer, Berlin

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ť

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

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Specification and Development of Interactive Systems

Focus on Streams, Interfaces, and Refinement

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

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