Michael R. Hansen – författare
Visar alla böcker från författaren Michael R. Hansen. Handla med fri frakt och snabb leverans.
5 produkter
Functional Programming Using F#
Av Michael R. Hansen, Hans Rischel
Inbunden, 2013
1542 kr
Lägg i varukorg
This comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs. It demonstrates the role of functional programming in a wide spectrum of applications including databases and systems. …
Functional Programming Using F#
Av Michael R. Hansen, Hans Rischel
Häftad, 2013
4,0 utav 5 stjärnor. Totalt antal röster: (1)
871 kr
Lägg i varukorg
This comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs. It demonstrates the role of functional programming in a wide spectrum of applications including databases and systems. …
Duration Calculus
A Formal Approach to Real-Time Systems
Av Chaochen Zhou, Michael R. Hansen
Inbunden, 2003
1128 kr
Lägg i varukorg
Duration 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 reasoning about requirements and designs at an …
Duration Calculus
A Formal Approach to Real-Time Systems
Av Chaochen Zhou, Michael R. Hansen
Häftad, 2010
1128 kr
Lägg i varukorg
Duration 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 reasoning about requirements and designs at an …
Duration Calculus
A Formal Approach to Real-Time Systems
Av Michael R. Hansen, Chaochen Zhou
E-bok, 2013
1470 kr
Lägg i varukorg
Duration 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 reasoning about requirements and designs at an …
