1-11 of 11 Books

Algebraic and logic programming
By Michael Hanus,Germany) Alp 9 (1996 Aachen,M. Rodriguez Artalejo

Algebraic specifications in software engineering
By Ivo van Horebeek

Formal methods in human-computer interaction
By Philippe Palanque

Mathematisch-strukturelle Grundlagen der Informatik
By Hartmut Ehrig,Bernd Mahr,F. Cornelius,Martin Große-Rhode,P. Zeitz

Mathematisch-strukturelle Grundlagen der Informatik
By Hartmut Ehrig,Bernd Mahr,Felix Cornelius,Martin Große-Rhode

Algebraic and logic programming
By H. Kirchner,Wolfgang Wechler

Algebraische Spezifikation abstrakter Datentypen
By Hans-Dieter Ehrich

Algebraic and logic programming
By J. Grabowski,Pierre Lescanne,Wolfgang Wechler

Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday
By Jens Palsberg

Recent Trends in Algebraic Development Techniques
By Andrea Corradini