Lambert Meerkens – författare
Visar alla böcker från författaren Lambert Meerkens. Handla med fri frakt och snabb leverans.
2 produkter
Algorithimic Languages and Calculi
Av Lambert Meerkens, Richard Bird
E-bok, 2016
3013 kr
Lägg i varukorg
The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production …
Algorithimic Languages and Calculi
Av Richard Bird, Lambert Meerkens
Inbunden, 1997
2244 kr
Lägg i varukorg
The general theme of this working conference is notations, methods, and tool support for the calculation of programs from specifications. Its purpose is to present the results of ongoing research, descriptions of existing and prosposed systems and applications to the production of practical …
