Michael R. Hansen Books

Introduction To Programming Using Sml
Introduction To Programming Using Sml

By Hans Rischel, Michael Hansen, Michael R. Hansen, MICHAEL R. HANSEN & HANS RISCHEL

Average: 0.00, 0 Ratings

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
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.)

Average: 0.00, 0 Ratings

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
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.)

Average: 0.00, 0 Ratings

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#
Functional Programming Using F#

By Hans Rischel, Michael R. Hansen, Michael R. Hansen; Hans Rischel

Average: 0.00, 0 Ratings

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

Related Articles from our Blog

What is an EAN and How Does it Relate to an ISBN?

If you’ve ever purchased a product online or in a store, you’ve likely come across a barcode. Behind these barcodes lies a standardized system that makes modern commerce possible. Two key codes often encountered are the EAN (European Article Number) and ISBN (International Standard Book Number). But what are they, how are they connected, and why are they so crucial? Let’s explore.

Read More