Cantitate/Preț
Produs
Total produse
Vezi coșul
Theories and Experiences for Real-Time System Development de Charles Rattray

Theories and Experiences for Real-Time System Development

Autor Charles Rattray, Teodor Rus
en Limba Engleză Hardback – feb 1995
This text on real-time system development focuses the interplay between algebraic methodology and software technology (AMAST). It covers topics including: real-time CSP; system design using temporal logic; symbolic checking of discrete time models; and timed full LOTOS and timed LOTOS extensions.
Citește tot Restrânge

Preț: 99950 lei

Preț vechi: 124937 lei
-20%

Puncte Express: 1499
Preț estimativ în valută:
17694€ • 20586$ • 15344£

Cartea se retipărește


Wish list
Gift list
Am citit!
Adaugă în listă
Doresc să fiu notificat când acest titlu va fi disponibil:
Trimite
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789810219239
ISBN-10: 9810219237
Pagini: 444
Dimensiuni: 152 x 218 x 30 mm
Greutate: 0.7 kg
Editura: World Scientific Publishing Company

Textul de pe ultima copertă

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 book.