De som köpt den här boken har ofta också köpt Sound and Recording av Francis Rumsey (häftad).
Köp båda 2 för 1438 krDuration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally...
'I found this to be an outstanding book on this hybrid language, F#, which can be profitably studied from various perspectives, from theoretical to highly pragmatic.' George Hacken, Computing Reviews
Michael R. Hansen is an Associate Professor in the Department of Informatics and Mathematical Modelling at the Technical University of Denmark. He is the author of Introduction to Programming Using SML (with Hans Rischel) and Duration Calculus: A Formal Approach to Real-Time Systems (with Zhou Chaochen). Hans Rischel is a former Associate Professor in the Department of Informatics and Mathematical Modelling at the Technical University of Denmark. He is the author of Introduction to Programming Using SML (with Michael R. Hansen).
1. Getting started; 2. Values, operators, expressions, and functions; 3. Tuples, records, and tagged values; 4. Lists; 5. Collections: lists, maps, and sets; 6. Finite trees; 7. Modules; 8. Imperative features; 9. Efficiency; 10. Text processing programs; 11. Sequences; 12. Computation expressions; 13. Asynchronous and parallel computations.