Specification and Development of Interactive Systems

Focus on Streams, Interfaces, and Refinement

E-bog

Full Access

456,60 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

60 days rental

199,56 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

90 days rental

242,40 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

120 days rental

285,25 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

180 days rental

306,74 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

365 days rental

456,60 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

Bemærk venligst, at den normale 14 dages fortrydelsesret ophører ved modtagelse af adgang til e-bogen.

Produkt beskrivelse

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.

Detaljer

ISBN13 9781461300915
Udgivet 2012
Forlag Springer
Format Elektronisk medie
Sprog Engelsk