Specification and Development of Interactive Systems

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

Focus on Streams, Interfaces, and Refinement

Szerző: Manfred Broy

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

20 042 Ft

A mathematical and logical foundation for the specification and development of interactive systems b...

Információk a könyvről

Szerző

Manfred Broy

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2012

oldal

348

EAN

9781461265184

ISBN

1461265185

Enbook ID

06794813

Kiadó

Springer, Berlin

Súly

556

Méretek

154 x 234 x 21

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Specification and Development of Interactive Systems

Focus on Streams, Interfaces, and Refinement

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták