The Universality of Functions in the Sciences at Large and in Computing von Boute, Raymond

Volltext

The universality of functions in the sciences at large and in computing von Boute, Raymond

Volltext

A Precise and Reliable Multivariable Chain Rule von Boute, Raymond

Volltext

A precise and reliable multivariable chain rule von Boute, Raymond

Volltext

Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings von Dean, C. Neville, Boute, Raymond T

Volltext

Why mathematics needs engineering von Boute, Raymond

Volltext

Calculational semantics : Deriving programming theories from equations by functional predicate calculus von BOUTE, Raymond T

Volltext

Pointfree expression and calculation: from quantification to temporal logic von Boute, Raymond

Volltext

Moving a Rectangle around a Corner-Geometrically von Boute, Raymond T.

Volltext

Using domain-independent problems for introducing formal methods von Boute, Raymond

Volltext

Turing Tales von Daylight, Edgar G

Volltext bestellen

How to Calculate Proofs: Bridging the Cultural Divide von Boute, Raymond T.

Volltext

Designing Algorithms in High School Mathematics von da Rosa, Sylvia

Volltext

Teaching Formal Methods in Context von Davies, Jim, Simpson, Andrew, Martin, Andrew

Volltext

Motivating Study of Formal Methods in the Classroom von Reed, Joy N., Sinclair, Jane E.

Volltext

Functional declarative language design and predicate calculus : A practical approach von BOUTE, Raymond

Volltext

Embedding Formal Development in Software Engineering von Robinson, Ken

Volltext

Integrating formal methods by unifying abstractions von Boute, Raymond

Volltext

Linking Paradigms, Semi-formal and Formal Notations von Habrias, Henri, Faucou, Sébastien

Volltext

Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods von Paige, Richard F., Ostroff, Jonathan S.

Volltext