Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
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 Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 2002 Proceedings

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

⭐ 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, Martin C. Henson, Ken Robinson
  • ISBN 13: 9783540431664
  • ISBN 10: 3540431667
  • Publication Year: 2001
  • Language: English

Specifications

Index-103540431667
LanguageEnglish
Index-139783540431664
Period-
Class Track-
Publisher- (2001)
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 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…

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

Inquire
What the Ladybird Heard Next

What the Ladybird Heard Next

Julia Donaldson

Inquire
A Talkyng of Þe Loue of God

A Talkyng of Þe Loue of God

Maria Salvina Westra

Inquire