Communiqués par D Bert

En stock chez iMusic Montrer les articles indisponibles

Cover for D Bert · Zb 2002, Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2002)

Zb 2002, Formal Specification an... (2002)

Cover for D Bert · Recent Trends in Algebraic Development Techniques: 14th International Workshop, Wadt '99, Chateau De Bonas, September 15-18, 1999 Selected Papers - Lecture Notes in Computer Science (Paperback Book) (2000)

Recent Trends in Algebraic Devel... (2000)