jeremy gibbons
Foundations of Health Information Engineering and Systems
EbookSofort lieferbarThis book constitutes the thoroughly refereed post-conference proceedings of the Third Internatio...
Generic and Indexed Programming
EbookSofort lieferbarGeneric programming is about making programs more widely applicable via exotic kinds of parametri...
Bidirectional Transformations
EbookSofort lieferbarThis volume represents the lecture notes from the Summer School on Bidirectional Transformations,...
Integrated Formal Methods
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 6th International Conference on Integrated ...
Mathematics of Program Construction
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 11th International Conference on Mathematic...
Teaching Formal Methods
EbookSofort lieferbarThis book constitutes the refereed proceedings of the TFM 2009, held in Eindhoven, The Netherland...
Datatype-Generic Programming
EbookSofort lieferbarThis tutorial book presents six carefully revised lectures given at the Spring School on Datatype...
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
EbookSofort lieferbarProgram construction is about turning specifications of computer software into implementations. R...
Generic Programming
EbookSofort lieferbarGeneric programming attempts to make programming more efficient by making it more general. This b...
Generic Programming
EbookSofort lieferbarGeneric programming is about making programs more adaptable by making them more general. Generic ...
Functional and Logic Programming
EbookSofort lieferbarThis book constitutes the proceedings of the 17th International Symposium on Functional and Logic...
Algorithm Design with Haskell
EbookSofort lieferbarIdeal for learning or reference, this book explains the five main principles of algorithm design ...