Michael R. Hansen – författare

Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.

5 produkter

Kategorier

5 produkter

Functional Programming Using F#
AvMichael R. Hansen,Hans Rischel
Inbunden, Engelska, 2013
1 292 kr
Skickas inom 7-10 vardagar
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. Coverage also includes advanced features in the .NET library, the imperative features of F# and topics such as text processing, sequences, computation expressions and asynchronous computation. With a broad spectrum of examples and exercises, the book is perfect for courses in functional programming and for self-study. Enhancing its use as a text is an accompanying website with downloadable programs, lecture slides, mini-projects and links to further F# sources.
Functional Programming Using F#
AvMichael R. Hansen,Hans Rischel
Häftad, Engelska, 2013
4,0 utav 5 stjärnor. Totalt antal röster:(1)
681 kr
Skickas inom 7-10 vardagar
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. Coverage also includes advanced features in the .NET library, the imperative features of F# and topics such as text processing, sequences, computation expressions and asynchronous computation. With a broad spectrum of examples and exercises, the book is perfect for courses in functional programming and for self-study. Enhancing its use as a text is an accompanying website with downloadable programs, lecture slides, mini-projects and links to further F# sources.
Duration Calculus
A Formal Approach to Real-Time Systems
AvChaochen Zhou,Michael R. Hansen
Inbunden, Engelska, 2003
1 116 kr
Skickas inom 10-15 vardagar
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 appropriate level of abstraction.This book presents the logical foundations of duration calculus in a coherent and thorough manner. Through selective case studies it explains how duration calculus can be applied to the formal specification and verification of real-time systems. The book also contains an extensive survey of the current research in this field.The material included in this book has been used for graduate and postgraduate courses, while it is also suitable for experienced researchers and professionals.
Duration Calculus
A Formal Approach to Real-Time Systems
AvChaochen Zhou,Michael R. Hansen
Häftad, Engelska, 2010
1 116 kr
Skickas inom 10-15 vardagar
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 appropriate level of abstraction.This book presents the logical foundations of duration calculus in a coherent and thorough manner. Through selective case studies it explains how duration calculus can be applied to the formal specification and verification of real-time systems. The book also contains an extensive survey of the current research in this field.The material included in this book has been used for graduate and postgraduate courses, while it is also suitable for experienced researchers and professionals.
Duration Calculus
A Formal Approach to Real-Time Systems
AvMichael R. Hansen,Chaochen Zhou
E-bok
PDF, Engelska, 2013
1 455 kr
Läs direkt efter köp
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 appropriate level of abstraction.
This book presents the logical foundations of duration calculus in a coherent and thorough manner. Through selective case studies it explains how duration calculus can be applied to the formal specification and verification of real-time systems. The book also contains an extensive survey of the current research in this field.
The material included in this book has been used for graduate and postgraduate courses, while it is also suitable for experienced researchers and professionals.

Företag, bibliotek eller offentlig verksamhet?

Michael R. Hansen – författare

Functional Programming Using F#

Functional Programming Using F#

Duration Calculus

Duration Calculus

Duration Calculus

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration