phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Design, Specification and Verification of Interactive Systems '95

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Design, Specification and Verification of Interactive Systems '95 Remi Bastide
Libristo kod: 06798972
Nakladnici Springer Verlag GmbH, rujan 1995
Twenty-one contributions cover the different aspects of interactive systems, from formal user modell... Cijeli opis
? points 154 b
61.46 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Opel Kadett diesel od 9/84 do 8/91 Hans-Rüdiger Etzold / Knjiga
common.buy 21.09 €
Musical Comedy in America LITTON / Meki uvez
common.buy 58.03 €
Professional Development of Teacher Educators / Tvrdi uvez
common.buy 197.22 €
Australian in London and America. James Francis Hogan / Meki uvez
common.buy 32.49 €
Writing Instruction and Assessment for English Language Learners K-8 Frances Verbruggen / Meki uvez
common.buy 39.86 €
Le Prix Nobel de la paix et l'Institut Nobel norvégien.. Bd.1 Ragnvald Moe / Meki uvez
common.buy 84.07 €
Persia (RLE Iran A) / Tvrdi uvez
common.buy 56.92 €
Gun Culture or Gun Control? Peter Squires / Meki uvez
common.buy 72.36 €
The corrosion of mathematics teaching Jim Neyland / Meki uvez
common.buy 74.68 €

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.

Informacije o knjizi

Puni naziv Design, Specification and Verification of Interactive Systems '95
Autor Remi Bastide, Philippe Palanque
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1995
Broj stranica 374
EAN 9783211827390
ISBN 3211827390
Libristo kod 06798972
Nakladnici Springer Verlag GmbH
Težina 715
Dimenzije 170 x 244 x 21

Kategorija

Computing & Information Technology > Computer science > Artificial intelligence > Computer vision
Reference, Information & Interdisciplinary subjects > Research & information: general > Information theory
Reference, Information & Interdisciplinary subjects > Research & information: general > Coding theory & cryptology
Mathematics & Science > Science: general issues > Industrial applications of scientific research & technological innovation
Computing & Information Technology > Computer programming / software engineering > Graphics programming
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Image processing
Computing & Information Technology > Computer science > Human–computer interaction
Computing & Information Technology > Graphical & digital media applications
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun