phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Design, Specification and Verification of Interactive Systems '95

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Design, Specification and Verification of Interactive Systems '95 Remi Bastide
Libristo kód: 06798972
Kiadó Springer Verlag GmbH, szeptember 1995
Twenty-one contributions cover the different aspects of interactive systems, from formal user modell... Teljes leírás
? points 168 b
26 453 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Opel Kadett diesel od 9/84 do 8/91 Hans-Rüdiger Etzold / Könyv
common.buy 8 343 Ft
Musical Comedy in America LITTON / Puha kötésű
common.buy 22 897 Ft
Writing Instruction and Assessment for English Language Learners K-8 Frances Verbruggen / Puha kötésű
common.buy 15 738 Ft
Le Prix Nobel de la paix et l'Institut Nobel norvégien.. Bd.1 Ragnvald Moe / Puha kötésű
common.buy 33 224 Ft
Gun Culture or Gun Control? Peter Squires / Puha kötésű
common.buy 27 713 Ft
Persia (RLE Iran A) / Kemény kötésű
common.buy 23 526 Ft
Professional Development of Teacher Educators / Kemény kötésű
common.buy 77 839 Ft
Australian in London and America. James Francis Hogan / Puha kötésű
common.buy 14 040 Ft
The corrosion of mathematics teaching Jim Neyland / Puha kötésű
common.buy 29 476 Ft

Twenty-one contributions cover the different aspects of interactive systems, from formal user modelling to formal techniques for prototyping, and describe the state of the art on these topics, also giving new directions for future research. The book is an obligatory piece of literature for all scientists working in the formal aspects of the interactive systems field, but it is also valuable for the practitioner involved in the design of reliable interactive systems.

Információ a könyvről

Teljes megnevezés Design, Specification and Verification of Interactive Systems '95
Szerző Remi Bastide, Philippe Palanque
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1995
Oldalszám 374
EAN 9783211827390
ISBN 3211827390
Libristo kód 06798972
Kiadó Springer Verlag GmbH
Súly 715
Méretek 170 x 244 x 21

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Számítógépes vízió
Referensz, információ és interdiszciplináris (tudományközi) témák > Kutatás és nformáció: általános jellegű > Információelmélet
Referensz, információ és interdiszciplináris (tudományközi) témák > Kutatás és nformáció: általános jellegű > Kódoláselmélet és kriptológia
Matematika és természettudomány > Tudomány: általános kérdések > Tudományos kutatás és technikai innováció ipari alkalmazásai
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Grafikai programozás
Számítástechnika és információtechnológia > Számítógéptudomány > Rendszeranalízis és rendszerdizájn
Számítástechnika és információtechnológia > Számítógéptudomány > Képfeldolgozás
Számítástechnika és információtechnológia > Számítógéptudomány > Ember-számítógép interakció
Számítástechnika és információtechnológia > Grafikus és digitális média
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása