Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Theories And Experiences For Real-time System Development

C. Rattray

Teodor Rus

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 05064888

Nakladatelství World Scientific Publishing Co Pte Ltd, listopad 1994

Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a... Celý popis

Libristo kód: 05064888

419 b

4 185 Kč

50 % šance Prohledáme celý svět Kdy knihu dostanu?

Až 30 dní na vrácení zboží

Zákazníci také koupili

E.S.P.A.C.E. Collège Physique-Chimie 3ème 2017 Manuel élève 2017 Mathieu Ruffenach

Pevná

825 Kč

Tévennec Deleau

Brožovaná

690 Kč

Quando il mondo dorme. Storie, parole e ferite della Palestina Francesca Albanese

Brožovaná

481 Kč

Einstein et les révolutions quantiques Alain Aspect

Brožovaná

299 Kč

016 - "Centesimus annus" ¿Una enc¡clica para el post-socialismo? CALLEJA

Brožovaná

81 Kč

Annales de l'Oeuvre des enfants tuberculeux

Brožovaná

475 Kč

Terapia del Espíritu Santo SILVIA MORENTE RODRIGUEZ

Brožovaná

592 Kč

Barcelona (The Greatest) Freddie Mercury and Montserrat Caballé

Audio CD

327 Kč

Lovci duchů Games Smart

Hra

422 Kč

Povídky o nelásce Michal Viewegh

Pevná

239 Kč

Kai Keiler in Fabelhaft Kristine Tauch

Brožovaná

337 Kč

Der Zauberer von Wien: Roman Jurgen Kleist

Brožovaná

195 Kč

Papel de envoltorio : artículos en la prensa Felipe . . . [et al. ] Benítez Reyes

Brožovaná

338 Kč

Rechtsanwendungsprobleme im internationalen Kaufrecht. G. Beate Czerwenka

Brožovaná

2 050 Kč

Spiel und Spaß mit der Blockflöte, Sopran-Blockflöte, m. Audio-CD. Bd.1 Hans-Martin Linde

Noty

850 Kč

Musikalische Früherziehung - Musikschulprogramm "Tina & Tobi". H.1 Verband deutscher Musikschulen e. V.

List

189 Kč

Kochbuch Ohne Autor

Brožovaná

391 Kč

Flughafenmanagement - Strukturelle und oekonomische Merkmale von Flughafen Christian Bernhardt

Brožovaná

543 Kč

Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra with the theory and practice of real-time system development. This interplay between algebraic methodology and software technology (AMAST) for real-time systems is the theme for this text. Each chapter, derived from papers presented at the all-invitation 1st AMAST International Workshop on Real-Time Systems (Iowa, 1993), is written by leaders in their field. The chapters form a mix of modelling, specification, verification, and implementation of "real" real-time systems, covering untimed and timed systems, sequential, concurrent and embedded real-time processes, integrated models using state machines, temporal logic and algebraic data models, real-time CSP, verification tools, system design using temporal logic, symbolic checking of discrete time models, iterative symbolic approximation in timing verification and verification of audio protocols, timed full LOTOS and timed LOTOS extensions, LOTOS specification of telephone services and flight warning computers, and performance analysis.