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ț: 100064 lei

Preț vechi: 125080 lei
-20%

Puncte Express: 1501
Preț estimativ în valută:
17683€ • 20437$ • 15326£

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

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.