Αποτελέσματα αναζήτησης συγγραφέα

1

Εξώφυλλο

CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification /

ανά Diaconescu, Razvan
Έκδοση 1998

Άλλοι συγγραφείς: '; “...Futatsugi, Kokichi...”

Βιβλίο

2

Εξώφυλλο

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday /

Έκδοση 2006

Άλλοι συγγραφείς: '; “...Futatsugi, Kokichi...”

Βιβλίο

Cannot write session to /tmp/vufind_sessions/sess_eobqi90g4dj3pppm1j65ljm8j2