• The Handbook of Formal Methods...
  • Bestand

Treffer: The Handbook of Formal Methods in Human-Computer Interaction

Titel:
The Handbook of Formal Methods in Human-Computer Interaction / edited by Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
Beteiligt:
Weyers, Benjamin (Herausgeber); Bowen, Judy (Herausgeber); Dix, Alan (Herausgeber); Palanque, Philippe (Herausgeber)
Ausgabe:
1st ed. 2017
Veröffent­licht:
Cham : Springer International Publishing, 2017
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVI, 575 Seiten) : 205 illus., 133 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Human–Computer Interaction Series, ISSN 2524-4477
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: The Handbook of Formal Methods in Human-Computer Interaction. - Cham : Springer International Publishing, 2017. - ISBN 9783319518374
ISBN:
9783319518381 ; 3319518380 ; 9783319518374 (Sekundärausgabe) ; 9783319518398 (Sekundärausgabe) ; 9783319847542 (Sekundärausgabe)
DOI:
10.1007/978-3-319-51838-1

Zusatz-Informationen

Zusatz-Funktionen