Author books / Книги автора Bart Jacobs (auth.) Elie Najm Uwe Nestmann Perdita Stevens (eds.) » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Bart Jacobs (auth.) Elie Najm Uwe Nestmann Perdita Stevens (eds.) » Page 3

book Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings

pdf

Author: Bart Jacobs (auth.) Elie Najm Uwe Nestmann Perdita Stevens (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

pdf

Author: Bart Jacobs (auth.) Richard J. Boulton Paul B. Jackson (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

pdf

Author: Joachim van den Berg Marieke Huisman Bart Jacobs Erik Poll (auth.) Didier Bert Christine Choppy Peter D. Mosses (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0