Konferenzschrift | Kongress
Interactive systems : design, specification, and verification ; 7th international workshop ; revised papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540416630
3540416633
- Dimensions
-
24 cm
- Extent
-
X, 250 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1946
- Keyword
-
Benutzeroberfläche
Softwareentwicklung
Benutzeroberfläche
Softwarespezifikation
Mensch-Maschine-Kommunikation
Formale Spezifikationstechnik
Verteiltes System
Benutzeroberfläche
Groupware
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, 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:51 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
- Palanque, Philippe
- DSV IS (7 : 2000 : Limerick)
- Springer
Time of origin
- 2001
Other Objects (12)
Interactive systems : design, specification, and verification : 13th international workshop ; revised papers
Interactive systems : design, specification, and verification : 12th international workshop ; revised papers
Interactive Systems : design, specification, and verification ; 9th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 8th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 10th 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
Runtime verification : 7th international workshop
Interactive Verification of Statecharts
Verification of Plastic Interactive Systems
Interactive verification of medical guidelines
Interactive systems : design, specification, and verification : 13th international workshop ; revised papers
Interactive systems : design, specification, and verification : 12th international workshop ; revised papers
Interactive Systems : design, specification, and verification ; 9th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 8th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 10th 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
Runtime verification : 7th international workshop
Interactive Verification of Statecharts
Verification of Plastic Interactive Systems
Interactive verification of medical guidelines
Interactive systems : design, specification, and verification : 13th international workshop ; revised papers
Interactive systems : design, specification, and verification : 12th international workshop ; revised papers
Interactive Systems : design, specification, and verification ; 9th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 8th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 10th 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
Runtime verification : 7th international workshop
Interactive Verification of Statecharts
Verification of Plastic Interactive Systems