Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Theories And Experiences For Real-time System Development

C. Rattray

Teodor Rus

Jezik

Engleski

Knjiga Tvrdi uvez

Libristo kod: 05064888

Nakladnici World Scientific Publishing Co Pte Ltd, studeni 1994

Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a... Cijeli opis

Libristo kod: 05064888

416 b

171.26 €

50 % šanse Pretražit ćemo cijeli svijet Kada ću dobiti knjigu?

Do 30 dana za povrat

Kupci su kupili i

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

Tvrdi uvez

32.47 €

Tévennec Deleau

Meki uvez

27.22 €

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

Meki uvez

19.15 €

Einstein et les révolutions quantiques Alain Aspect

Meki uvez

11.79 €

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

Meki uvez

3.52 €

Annales de l'Oeuvre des enfants tuberculeux

Meki uvez

18.65 €

Terapia del Espíritu Santo SILVIA MORENTE RODRIGUEZ

Meki uvez

24.40 €

Barcelona (The Greatest) Freddie Mercury and Montserrat Caballé

Audio CD

13.10 €

Lovci duchů Games Smart

Igra

20.97 €

Povídky o nelásce Michal Viewegh

Tvrdi uvez

9.67 €

Kai Keiler in Fabelhaft Kristine Tauch

Meki uvez

14.62 €

Der Zauberer von Wien: Roman Jurgen Kleist

Meki uvez

8.46 €

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

Meki uvez

14.62 €

Rechtsanwendungsprobleme im internationalen Kaufrecht. G. Beate Czerwenka

Meki uvez

84.52 €

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

Note

33.48 €

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

List

7.76 €

Kochbuch Ohne Autor

Meki uvez

16.13 €

Flughafenmanagement - Strukturelle und oekonomische Merkmale von Flughafen Christian Bernhardt

Meki uvez

22.38 €

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.