Pierre Lescanne – författare
Visar alla böcker från författaren Pierre Lescanne. Handla med fri frakt och snabb leverans.
5 produkter
Algebraic and Logic Programming
Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988
Av Jan Grabowski, Pierre Lescanne m. fl.
Inbunden, 1989
1850 kr
Lägg i varukorg
Rewriting Techniques and Applications
Bordeaux, France, May 25-27, 1987. Proceedings
Häftad, 1987
399 kr
Lägg i varukorg
This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.
Algebraic and Logic Programming
International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings
Av Wolfgang Wechler, Pierre Lescanne m. fl.
E-bok, 2005
755 kr
Lägg i varukorg
This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and …
Algebraic and Logic Programming
International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings
Av Jan Grabowski, Pierre Lescanne m. fl.
Häftad, 1989
567 kr
Lägg i varukorg
This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and …
Algebraic System Specification and Development
A Survey and Annotated Bibliography
Av Michel Bidoit, Hans-Jörg Kreowski m. fl.
Häftad, 1991
551 kr
Lägg i varukorg
Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and …