Zobacz książki o podobnej tematyce

Więcej informacji o Design, Specification and Verification of Interactive Systems '95

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 166 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Mathematics & science Science: general issues Industrial applications of scientific research & technological innovation

• Pełny tytuł: Design, Specification and Verification of Interactive Systems '95
• Podtytuł: Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995
• Autor: Remi Bastide, Philippe Palanque
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 374
• EAN: 9783211827390
• ISBN: 3211827390
• ID: 06798972
• Wydawca: Springer Verlag GmbH
• Waga: 715 g
• Wymiary: 244 × 170 × 21 mm
• Data wydania: 14. September 1995

Ulubione w innej kategorii

---

---

---