phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Interactive Systems. Design, Specification, and Verification

Limba englezăengleză
Carte Carte broșată
Carte Interactive Systems. Design, Specification, and Verification Philippe Palanque
Codul Libristo: 01563285
Editura Springer, Berlin, noiembrie 2000
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on... Descrierea completă
? points 161 b
325 lei
În depozitul extern în cantități mici Expediem în 10-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
My Very First Book of Shapes Eric Carle / Cărți pliante
common.buy 35 lei
Lifestyle Pre-Intermediate Coursebook and CD-Rom Pack Vicki Hollett / Carte broșată
common.buy 140 lei
Pitch Perfect Bill McGowan / Carte broșată
common.buy 86 lei
Coming Attractions Lisa Kernan / Carte broșată
common.buy 199 lei
Intelligent Systems for Knowledge Management Ngoc Thanh Nguyen / Copertă tare
common.buy 986 lei
Merian Berlin, English edition / Carte broșată
common.buy 46 lei
Principles and Practice of Skin Toxicology Robert Chilcott / Copertă tare
common.buy 932 lei
Feminism, Gender and Universities DAVID / Carte broșată
common.buy 388 lei
Security and Privacy in Ad-hoc and Sensor Networks Refik Molva / Carte broșată
common.buy 325 lei
curând
Sustainable Suburbia? Hugh Bartling / Copertă tare
common.buy 944 lei
Kathryn Bigelow Peter Keough / Carte broșată
common.buy 199 lei
Driving Through Heaven MARK GARDNER / Carte broșată
common.buy 114 lei
Inshore Fly Fishing Lou Tabory / Carte broșată
common.buy 156 lei
L'apport d'une approche systémique en médiation Philippe Nicod / Carte broșată
common.buy 193 lei
Abwehr und Abgrenzung Klaus Köhler / Carte broșată
common.buy 114 lei
Surgical Talk: Lecture Notes In Undergraduate Surgery (3rd Edition) Andrew Goldberg / Carte broșată
common.buy 289 lei

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2000, held in Limerick, Ireland in June 2000.The 14 revised full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on designing interactive distributed systems, designing user interfaces, tools for user interfaces, formal methods for human-computer interaction, and model-based design of interactive systems.

Informații despre carte

Titlu complet Interactive Systems. Design, Specification, and Verification
Autor Philippe Palanque, Fabio Patern
Limba engleză
Legare Carte - Carte broșată
Data publicării 2001
Număr pagini 258
EAN 9783540416630
ISBN 3540416633
Codul Libristo 01563285
Editura Springer, Berlin
Greutatea 381
Dimensiuni 155 x 235 x 14

Categorii

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Graphics programming
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Information technology: general issues
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo