Konferenzschrift | Kongress
Interactive systems : design, specification, and verification ; 8th international workshop ; revised papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540428077
3540428070
- Dimensions
-
24 cm
- Extent
-
XII, 217 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 2220
- Keyword
-
Mensch-Maschine-Kommunikation
Benutzeroberfläche
Softwarespezifikation
Systementwurf
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo
- (who)
-
Springer
- (when)
-
2001
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:56 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Johnson, Chris
- DSV IS (8 : 2001 : Glasgow)
- Springer
Time of origin
- 2001
Other Objects (12)
Interactive systems : design, specification, and verification ; 7th international workshop ; revised papers
Interactive Systems : design, specification, and verification ; 9th international workshop ; revised papers
Interactive systems : design, specification, and verification : 12th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 10th international workshop ; revised papers
Interactive systems : design, specification, and verification : 13th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 15th international workshop ; proceedings
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
Interactive systems : design, specification, and verification ; Bocca di Magra, Italy, June 1994
Interactive Verification of Statecharts
Interactive Verification of Synchronous Systems
Interactive verification of medical guidelines
Inspector: Interactive UI Specification Tool
Interactive systems : design, specification, and verification ; 7th international workshop ; revised papers
Interactive Systems : design, specification, and verification ; 9th international workshop ; revised papers
Interactive systems : design, specification, and verification : 12th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 10th international workshop ; revised papers
Interactive systems : design, specification, and verification : 13th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 15th international workshop ; proceedings
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
Interactive systems : design, specification, and verification ; Bocca di Magra, Italy, June 1994
Interactive Verification of Statecharts
Interactive Verification of Synchronous Systems
Interactive verification of medical guidelines
Inspector: Interactive UI Specification Tool
Interactive systems : design, specification, and verification ; 7th international workshop ; revised papers
Interactive Systems : design, specification, and verification ; 9th international workshop ; revised papers
Interactive systems : design, specification, and verification : 12th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 10th international workshop ; revised papers
Interactive systems : design, specification, and verification : 13th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 15th international workshop ; proceedings
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
Interactive systems : design, specification, and verification ; Bocca di Magra, Italy, June 1994
Interactive Verification of Statecharts
Interactive Verification of Synchronous Systems
Interactive verification of medical guidelines