Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987 Brusses, Belgium March 1987, Proceedings

VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987 Brusses, Belgium March 1987, Proceedings

by D. Bjørner, M. Mac An Airchinnigh, Cliff Jones, Erich J. Neuhold Paperback 1987

⭐ 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: D. Bjørner, M. Mac An Airchinnigh, Cliff Jones, Erich J. Neuhold
  • ISBN 13: 9783540176541
  • ISBN 10: 3540176543
  • Publication Year: 1987
  • Language: English

Specifications

Index-103540176543
LanguageEnglish
Index-139783540176541
Period-
Class Track-
Publisher- (1987)
Pages-

✨ Readers also enjoyed...

View All →
VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

VDM '90. VDM and Z - Formal Method…

C. A. R. Hoare, H. Langmaack, D. Bjørner

Inquire
Dairy Farming in the 21st Century : Global Ethics, Environment and Politics

Dairy Farming in the 21st Century …

Bruce A. Scholten

Inquire
Journalism of Ideas : Brainstorming, Developing, and Selling Stories in the Digital Age

Journalism of Ideas : Brainstormin…

Daniel Reimold

Inquire