phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 11.02 zł
phone Kontakt phoneJak kupować

Design, Specification and Verification of Interactive Systems '95

Język AngielskiAngielski
Książka Miękka
Książka Design, Specification and Verification of Interactive Systems '95 Remi Bastide
Kod Libristo: 06798972
Wydawnictwo Springer Verlag GmbH, wrzesień 1995
Twenty-one contributions cover the different aspects of interactive systems, from formal user modell... Cały opis
? points 154 b
262.26 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Opel Kadett diesel od 9/84 do 8/91 Hans-Rüdiger Etzold / Książka
common.buy 90.24 zł
Musical Comedy in America LITTON / Miękka
common.buy 236.77 zł
Professional Development of Teacher Educators / Twarda
common.buy 802.08 zł
Australian in London and America. James Francis Hogan / Miękka
common.buy 145.42 zł
Writing Instruction and Assessment for English Language Learners K-8 Frances Verbruggen / Miękka
common.buy 162.01 zł
Le Prix Nobel de la paix et l'Institut Nobel norvégien.. Bd.1 Ragnvald Moe / Miękka
common.buy 376.90 zł
Persia (RLE Iran A) / Twarda
common.buy 243.07 zł
Gun Culture or Gun Control? Peter Squires / Miękka
common.buy 309.13 zł
The corrosion of mathematics teaching Jim Neyland / Miękka
common.buy 301.34 zł

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.

Informacje o książce

Pełna nazwa Design, Specification and Verification of Interactive Systems '95
Autor Remi Bastide, Philippe Palanque
Język Angielski
Oprawa Książka - Miękka
Data wydania 1995
Liczba stron 374
EAN 9783211827390
ISBN 3211827390
Kod Libristo 06798972
Wydawnictwo Springer Verlag GmbH
Waga 715
Wymiary 170 x 244 x 21

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Rozpoznawanie obrazów
Publikacje informacyjne i interdyscyplinarne > Informacja naukowa > Teoria informacji
Publikacje informacyjne i interdyscyplinarne > Informacja naukowa > Kodowanie i kryptologia
Matematyka i nauki ścisłe > Nauki ścisłe > Przemysłowe zastosowania badań naukowych i innowacje technologiczne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Programowanie grafiki
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Przetwarzanie obrazów
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer
Informatyka i technologie informacyjne (IT) > Aplikacje graficzne i dla nowych mediów
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo