Von dem Buch Interactive Systems. Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!

Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:

Interactive Systems. Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers100%: Philippe Palanque; Fabio Paterno: Interactive Systems. Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers (ISBN: 9783540446750) 2000, in Englisch, auch als eBook.
Nur diese Ausgabe anzeigen…
Interactive Systems Design, Specification, Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5-6, 2000 Revised Papers (Lecture Notes in Computer Science Vol. 1946)86%: Sous la direction de: Philippe Palanque, Sous la direction de: Fabio Paterno: Interactive Systems Design, Specification, Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5-6, 2000 Revised Papers (Lecture Notes in Computer Science Vol. 1946) (ISBN: 9783540416630) in Deutsch, Taschenbuch.
Nur diese Ausgabe anzeigen…

Interactive Systems. Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers
9 Angebote vergleichen

Bester Preis: 3,51 (vom 21.10.2019)
1
9783540446750 - Philippe Palanque; Fabio Paterno: Interactive Systems. Design, Specification, and Verification
Philippe Palanque; Fabio Paterno

Interactive Systems. Design, Specification, and Verification (2000)

Lieferung erfolgt aus/von: Italien ~EN NW EB DL

ISBN: 9783540446750 bzw. 3540446753, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.

59,49
unverbindlich
Lieferung aus: Italien, Lagernd, zzgl. Versandkosten.
The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whether - ganising this event would have generated a boon or another bug. The reasons for this fear originated in the awareness that the design of interactive systems is a fast moving area. The type of research work presented at this unique event has received limited support from funding agencies and industries making it more difficult to keep up with the rapid technological changes occurring in interaction technology. However, despite our fear, the workshop was successful because of the high-quality level of participation and discussion. Before discussing such results, let us step back and look at the evolution of DSV-IS (Design, Specification and Verification of Interactive Systems), an international wo- shop that has been organised every year since 1994. The first books that addressed this issue in a complete and thorough manner were the collection of contributions edited by Harrison and Thimbleby and the book written by Alan Dix, which focused on abstractions useful to highlight important concepts in the design of interactive systems. Since then, this area has attracted the interest of a wider number of research groups, and some workshops on related topics started to be organised. DSV-IS had its origins in this spreading and growing interest. The first workshop was held in a monastery located in the hills above Bocca di Magra (Italy). eBook.
2
9783540416630 - Interactive Systems Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5-6, 2000 Revised Papers (Lecture Notes in Computer Science)

Interactive Systems Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5-6, 2000 Revised Papers (Lecture Notes in Computer Science) (2009)

Lieferung erfolgt aus/von: Deutschland DE US

ISBN: 9783540416630 bzw. 3540416633, in Deutsch, Springer, gebraucht.

7,81 + Versand: 3,00 = 10,81
unverbindlich
getbooks GmbH, [4040832].
254 Seiten TaschenbuchGepflegtes ehemaliges Bibliothek***emplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer) in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 821957.01.
3
9783540416630 - Palanque, Philippe / Paterno, Fabio (eds.): Interactive Systems. Design, Specification, and Verification
Symbolbild
Palanque, Philippe / Paterno, Fabio (eds.)

Interactive Systems. Design, Specification, and Verification

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783540416630 bzw. 3540416633, in Deutsch, Springer, Berlin, Taschenbuch, neu.

Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
9783540416630 - Palanque, Philippe / Paterno, Fabio (eds.): Interactive Systems. Design, Specification, and Verification
Palanque, Philippe / Paterno, Fabio (eds.)

Interactive Systems. Design, Specification, and Verification

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783540416630 bzw. 3540416633, in Deutsch, Springer, Berlin, Taschenbuch, neu.

Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
9783540416630 - Palanque, Philippe et al; Palanque, Philippe and Paterno, Fabio: Interactive Systems. Design, Specification, Verification: 7th International Workshop, Dsv-Is 2000, Limerick, Ireland, June 5-6, 2000. Revised Pape
Palanque, Philippe et al; Palanque, Philippe and Paterno, Fabio

Interactive Systems. Design, Specification, Verification: 7th International Workshop, Dsv-Is 2000, Limerick, Ireland, June 5-6, 2000. Revised Pape (2014)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika DE PB NW

ISBN: 9783540416630 bzw. 3540416633, in Deutsch, SPRINGER VERLAG GMBH 01/09/2014, Taschenbuch, neu.

74,04 + Versand: 3,15 = 77,19
unverbindlich
Von Händler/Antiquariat, Paperbackshop-US [8408184], Secaucus, NJ, U.S.A.
New Book. This item is printed on demand. Shipped from US This item is printed on demand.
6
9783540446750 - Philippe Palanque; Fabio Paterno: Interactive Systems. Design, Specification, and Verification
Philippe Palanque; Fabio Paterno

Interactive Systems. Design, Specification, and Verification

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika DE NW EB

ISBN: 9783540446750 bzw. 3540446753, in Deutsch, Springer Nature, neu, E-Book.

60,03 ($ 74,99)¹
versandkostenfrei, unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
9783540416630 - Philippe Palanque (Editor), Fabio Paterno (Editor): Interactive Systems. Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers (Lecture Notes in Computer Science)
Philippe Palanque (Editor), Fabio Paterno (Editor)

Interactive Systems. Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers (Lecture Notes in Computer Science)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika DE PB NW

ISBN: 9783540416630 bzw. 3540416633, in Deutsch, Springer, Taschenbuch, neu.

39,51 + Versand: 3,67 = 43,18
unverbindlich
Von Händler/Antiquariat, ExtremelyReliable [8304062], RICHMOND, TX, U.S.A.
This item is printed on demand.
8
9783540446750 - Paul A. Jr. Bunn: Interactive Systems. Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers
Paul A. Jr. Bunn

Interactive Systems. Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers (2000)

Lieferung erfolgt aus/von: Vereinigtes Königreich Großbritannien und Nordirland EN NW EB DL

ISBN: 9783540446750 bzw. 3540446753, in Englisch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.

60,94 (£ 53,54)¹ + Versand: 11,37 (£ 9,99)¹ = 72,31 (£ 63,53)¹
unverbindlich
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Despatched same working day before 3pm.
9
9783540446750 - Roger Lee: Interactive Systems. Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers
Roger Lee

Interactive Systems. Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers (2000)

Lieferung erfolgt aus/von: Vereinigtes Königreich Großbritannien und Nordirland EN NW EB DL

ISBN: 9783540446750 bzw. 3540446753, in Englisch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.

61,94 (£ 53,54)¹ + Versand: 8,09 (£ 6,99)¹ = 70,03 (£ 60,53)¹
unverbindlich
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Despatched same working day before 3pm.
Lade…