Cantitate/Preț
Produs
Total produse
Vezi coșul
Real-Time Systems: Modeling, Design, and Applications de Dan Ionescu

Real-Time Systems: Modeling, Design, and Applications: Amast Series in Computing, cartea 08

Editat de Dan Ionescu, Aurel Cornell
en Limba Engleză Hardback – 31 ian 2007
Starting with a general approach in the area of formalization of real-time systems, and setting the foundations for a general systemic theory of those systems, this book covers everything from building modeling frameworks for various types of real-time systems, to verification, and synthesis.
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% Algebraic Specification Techniques and Tools for Software Development: The ACT Approach
    Preț: 39351 lei
  • 20% Theories and Experiences for Real-Time S
    Preț: 92423 lei
  • 20% Language Prototyping: An Algebraic Specification Approach
    Preț: 83430 lei
  • 19% Random Knotting and Linking
    Preț: 52514 lei

Preț: 139199 lei

Preț vechi: 173998 lei
-20% Nou

Puncte Express: 2088
Preț estimativ în valută:
26640€ • 28101$ • 22264£

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: 9789810244248
ISBN-10: 981024424X
Pagini: 480
Dimensiuni: 162 x 217 x 36 mm
Greutate: 0.81 kg
Editura: World Scientific Publishing Company
Seriile AMAST Series in Computing, Amast Series in Computing