Michael R. Hansen Books
Introduction To Programming Using Sml
By Hans Rischel, Michael Hansen, Michael R. Hansen, MICHAEL R. HANSEN & HANS RISCHEL
Introduction to Programming using SML provides a thorough introduction to the principles of programming and program design using the Standard ML programming language. The emphasis throughout is to...
Read More
Duration Calculus: A Formal Approach To Real-Time Systems
By Zhou Chaochen, Chaochen Zhou, Michael R. Hansen, Prof. Zhou Chaochen, Assoc. Prof. Dr. Michael R. Hansen (Auth.)
Real-time systems are systems in which temporal properties are essential for reliability and correctness. Examples of systems where correctness and reliability are important for safety reasons incl...
Read More
Duration Calculus: A Formal Approach To Real-Time Systems
By Chaochen Zhou, Michael R. Hansen, Prof. Zhou Chaochen, Assoc. Prof. Dr. Michael R. Hansen (Auth.)
Real-time systems are systems in which temporal properties are essential for reliability and correctness. Examples of systems where correctness and reliability are important for safety reasons incl...
Read More
Functional Programming Using F#
By Hans Rischel, Michael R. Hansen, Michael R. Hansen; Hans Rischel
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...
Read More