Specification and Development of Interactive Systems

Angebote / Angebote:

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.

Lieferbar in ca. 20-45 Arbeitstagen

Preis

110,00 CHF

Verfügbarkeit:

Lieferbar

Produktinformation
Kundenbewertungen

Produktinformation

Artikelnummer 9780387950730
Status Lieferbar in ca. 20-45 Arbeitstagen
Autor Broy, Manfred / Stølen, Ketil
Einband B, Theory of Computation, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Software Engineering, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, computer science, Computers, Computer logic, Mathematical logic, Mathematical theory of computation, Operating systems, Computer programming / software engineering, Computer architecture & logic design, Fester Einband
Sprache eng
Seiten 348
Verlag Springer Nature EN
Reihe Monographs in Computer Science
Publikationsjahr 2001

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.