Theories and Experiences for Real-Time S
Autor Teodor Rus et al.
31 ian 1995
Hardback
Preț: 1000.30 lei 1250.37 lei
Se retipărește
-20%
AMAST Series in Computing
Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
Autor Razvan Diaconescu et al.
30 iun 1998
Hardback
Preț: 343.01 lei
Se retipărește