Cantitate/Preț
Produs

Real Time Programming: Languages, Specification and Verification

Autor S. Ramesh, R K Shyamasundar
en Limba Engleză Hardback – oct 2009
The aim of this text is to present research efforts that have gone into, or are going on in, the systematic design of real-time programs. It does this by examining such areas as the characteristics of real-time/reactive programs, reactive programming languages, verification and refinements.
Citește tot Restrânge

Preț: 76110 lei

Preț vechi: 95138 lei
-20%

Puncte Express: 1142

Preț estimativ în valută:
13456 16076$ 11656£

Cartea se retipărește

Doresc să fiu notificat când acest titlu va fi disponibil:

Specificații

ISBN-13: 9789810225667
ISBN-10: 9810225660
Pagini: 264
Dimensiuni: 165 x 249 x 18 mm
Greutate: 0.62 kg
Editura: World Scientific Publishing Company