UNIVERSI
TÄ
TS-
BIBLIOTHEK
P
ADERBORN
Anmelden
Menü
Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Einstellungen
Sprache
Deutsch
Deutsch
Englisch
Farbschema
Hell
Dunkel
Automatisch
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist
gegebenenfalls
nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Universitätsbibliothek
Katalog
Suche
Details
Zur Ergebnisliste
Ergebnis 26 von 66
Datensatz exportieren als...
BibTeX
Interactive Systems Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers [Elektronische Ressource]
Palanque, Philippe
Paternò, Fabio
2001
Volltextzugriff (PDF)
Details
Autor(en) / Beteiligte
Palanque, Philippe
Paternò, Fabio
Titel
Interactive Systems Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers [Elektronische Ressource]
Ort / Verlag
Berlin, Heidelberg : Springer Berlin Heidelberg, Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
Erscheinungsjahr
2001
Sprache
Englisch
Identifikatoren
ISBN: 9783540446750
OCLC-Nummer: 1074400513, 1074400513
Titel-ID: 990184226110206441
Format
–
Schlagworte
Benutzeroberfläche
,
Softwareentwicklung
,
Softwarespezifikation
,
Mensch-Maschine-Kommunikation
,
Formale Spezifikationstechnik
,
Verteiltes System
,
Groupware
,
Computer science
,
Software engineering
,
Logic design
,
Computer graphics