Hoppa till sidans huvudinnehåll

Jan Heering – författare

Visar alla böcker från författaren Jan Heering.
4 produkter
Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow - Higher-Order Algebra, Logic, and Term Rewriting, Häftad

Higher-Order Algebra, Logic, and Term Rewriting

First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

AvJan Heering,Karl Meinkem. fl.

Häftad, Engelska, 1994

729 kr

Skickas inom 10-15 vardagar

Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller - Higher-Order Algebra, Logic, and Term Rewriting, Häftad

Higher-Order Algebra, Logic, and Term Rewriting

Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

AvGilles Dowek,Jan Heeringm. fl.

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar

Michael Hanus, Jan Heering, Karl Meinke - Algebraic and Logic Programming, Häftad

Algebraic and Logic Programming

6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

AvMichael Hanus,Jan Heeringm. fl.

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar

Jan Heering, Paul Klint, Arie Van Deursen - Language Prototyping: An Algebraic Specification Approach, Inbunden
Del 5 - Amast Series In Computing

Language Prototyping: An Algebraic Specification Approach

AvJan Heering,Paul Klintm. fl.

Inbunden, Engelska, 1996

2 339 kr

Tillfälligt slut