Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Zb 2003 - Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 2003, Proceedings

Zb 2003 - Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 2003, Proceedings

by Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén Paperback 2003

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
  • ISBN 13: 9783540402534
  • ISBN 10: 3540402535
  • Publication Year: 2003
  • Language: English

Specifications

Index-103540402535
LanguageEnglish
Index-139783540402534
Period-
Class Track-
Publisher- (2003)
Pages-

✨ Readers also enjoyed...

View All →
Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Chateau de Bonas, France, Septembe 1999, Selected Papers

Recent Trends in Algebraic Develop…

Didier Bert, Christine Choppy, Peter Mosses, G. Goos, J. Hartmanis

Inquire
Zb 2002 - Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 2002 Proceedings

Zb 2002 - Formal Specification and…

Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson

Inquire
Byzantine and Romanesque Architecture; Volume 2

Byzantine and Romanesque Architect…

Thomas Graham Jackson

Inquire
Productivity Accounting : The Economics of Business Performance

Productivity Accounting : The Econ…

Emili Grifell-Tatjé, C. A. Knox Lovell

Inquire