Cantitate/Preț
Produs
Total produse
Vezi coșul
Theories and Experiences for Real-Time S de Teodor Rus

Theories and Experiences for Real-Time S: Amast Series in Computing, cartea 2

Autor Teodor Rus, Charles Rattray
en Limba Engleză Hardback – 31 ian 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

Din seria Amast Series in Computing

  • Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
    Preț: 31702 lei
  • 20% Real-Time Systems: Modeling, Design, and Applications
    Preț: 139199 lei
  • 20% Algebraic Specification Techniques and Tools for Software Development: The ACT Approach
    Preț: 39351 lei
  • 20% Language Prototyping: An Algebraic Specification Approach
    Preț: 83430 lei
  • 19% Random Knotting and Linking
    Preț: 52514 lei

Preț: 92423 lei

Preț vechi: 115528 lei
-20% Nou

Puncte Express: 1386
Preț estimativ în valută:
17688€ • 18658$ • 14783£

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
Seriile AMAST Series in Computing, Amast Series in Computing

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.