Tomeki

Explore Books on
spécification algébrique

1-4 of 4 Books

View Initial computability, algebraic specifications, and partial algebras By Horst Reichel
Cover of Initial computability, algebraic specifications, and partial algebras by horst reichel

Initial computability, algebraic specifications, and partial algebras

By Horst Reichel

View CafeOBJ report By Razvan Diaconescu,Kokichi Futatsugi
Cover of CafeOBJ report by razvan diaconescu,kokichi futatsugi

CafeOBJ report

By Razvan Diaconescu,Kokichi Futatsugi

View Proof and computation By North Atlantic Treaty Organization
Cover of Proof and computation by north atlantic treaty organization

Proof and computation

By North Atlantic Treaty Organization

View ESOP '88 By European Symposium on Programming (2nd 1988 Nancy, France)
Cover of ESOP '88 by european symposium on programming (2nd 1988 nancy, france)

ESOP '88

By European Symposium on Programming (2nd 1988 Nancy, France)