Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Theories And Experiences For Real-time System Development

C. Rattray

Teodor Rus

Sprache

Englisch

Buch Hardcover

Libristo-Code: 05064888

Verlag World Scientific Publishing Co Pte Ltd, November 1994

Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a... Vollständige Beschreibung

Libristo-Code: 05064888

418 b

170.99 € inkl. MwSt.

50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Hardcover

27.79 €

Tévennec Deleau

Broschur

23.29 €

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

Broschur

16.09 €

Einstein et les révolutions quantiques Alain Aspect

Broschur

10.09 €

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

Broschur

3.09 €

Annales de l'Oeuvre des enfants tuberculeux

Broschur

15.99 €

Terapia del Espíritu Santo SILVIA MORENTE RODRIGUEZ

Broschur

24.19 €

Barcelona (The Greatest) Freddie Mercury and Montserrat Caballé

Audio CD

19.99 €

Lovci duchů Games Smart

Spiel

16.19 €

Povídky o nelásce Michal Viewegh

Hardcover

8.39 €

Kai Keiler in Fabelhaft Kristine Tauch

Broschur

12.29 €

Der Zauberer von Wien: Roman Jurgen Kleist

Broschur

7.09 €

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

Broschur

12.49 €

Rechtsanwendungsprobleme im internationalen Kaufrecht. G. Beate Czerwenka

Broschur

89.90 €

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

Noten

28.69 €

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

Blatt

7.69 €

Kochbuch Ohne Autor

Broschur

17.90 €

Flughafenmanagement - Strukturelle und oekonomische Merkmale von Flughafen Christian Bernhardt

Broschur

24.99 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Theories And Experiences For Real-time System Development

Autor C. Rattray, Teodor Rus

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1994

Anzahl der Seiten 444

EAN 9789810219239

ISBN 9810219237

Libristo-Code 05064888

Verlag World Scientific Publishing Co Pte Ltd

Gewicht 703

Abmessungen 152 x 218 x 30

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert