Testing with F#
Deliver high-quality, bug-free applications by testing them with efficient and expressive functional programming
About This Book
Maximize the productivity of your code using the language features of F#
Leverage tools such as FsUnit, FsCheck, Foq, and TickSpec to run tests both inside and...
The Unknown Component Problem: Theory and Applications
The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and...
A First Course in Mathematical Modeling
Offering a solid introduction to the entire modeling process, A FIRST COURSE IN MATHEMATICAL MODELING, 5th Edition delivers an excellent balance of theory and practice, and gives you relevant, hands-on experience developing and sharpening your modeling skills. Throughout, the book emphasizes key facets of modeling, including creative and...