The handbook of formal methods in human-computer interaction

Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Pala

Cham: Springer, [2017]

Konferenzschrift, Sammelwerk, Gedruckte Ressource - XIV, 575 Seiten : Illustrationen ; 23.5 cm x 15.5 cm

Titel:	The handbook of formal methods in human-computer interaction
Verantwortlichkeitsangabe:	Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Pala
Autor/in / Beteiligte Person:	Weyers, Benjamin (1983-) ; Bowen, Judy ; Dix, Alan (1960-) ; Palanque, Philippe (1966-)
Körperschaft:	Springer International Publishing
Link:	Inhaltstext Inhaltsverzeichnis
Verwandtes Werk:	Human-Computer interaction series
Veröffentlichung:	Cham: Springer, [2017]
Medientyp:	Konferenzschrift, Sammelwerk
Datenträgertyp:	Gedruckte Ressource
Umfang:	XIV, 575 Seiten : Illustrationen ; 23.5 cm x 15.5 cm
ISBN:	9783319518374 Book : circa EUR 117.69 (DE) (freier Preis), circa EUR 120.99 (AT) (freier Preis), circa CHF 121.00 (freier Preis); 9783319847542 softcover reprint of the original 1st edition; 3319518372
Schlagwort:	Mensch-Maschine-Kommunikation Softwareentwicklung Formale Methode HCI Interactive systems formal description techniques task modeling verification of properties
Sonstiges:	Gesamttitelangabe: Human-Computer interaction series "This handbook of formal methods in human-computer interaction was motivated as an outcome of a workshop conducted at the 7th ACM SIGCHI Symposium on Engineering of Interactive Computing Systems (EICS) 2015 which took place in Duisburg, Germany." - siehe Preface Erscheint auch als: Online-Ausgabe: The handbook of formal methods in human-computer interaction, ISBN 9783319518381 Konferenzschrift: Duisburg, 2015 Verlags-/Bestellnummer: Bestellnummer: 978-3-319-51837-4; Bestellnummer: 86535011 Lokale Notationen: TWM Fächer: Informatik hbz Verbund-ID: HT019336861

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.