Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Systematic Software Development Using VDM

Systematic Software Development Using VDM

by Cliff B. Jones Paperback

⭐ 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: Cliff B. Jones
  • ISBN 13: 9780138807177
  • ISBN 10: 0138807175
  • Language: English

Specifications

Index-10 0138807175
Index-13 9780138807177
Language English

✨ Readers also enjoyed...

View All →
Case Studies System Software Devepment

Case Studies System Software Devep…

Cliff B. Jones, Roger Shaw

Inquire
Communicating Sequential Processes - The First 25 Years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 2004, Revised Invited Papers

Communicating Sequential Processes…

Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

Inquire
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria,

FME '97 Industrial Applications an…

John Fitzgerald, Cliff B. Jones, Peter Lucas, G. Goos, J. Hartmanis

Inquire
Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Tim…

Cliff B. Jones, Zhiming Liu, Jim Woodcock

Inquire
Formal Specification and Software Development

Formal Specification and Software …

Dines Bjørner, Cliff B. Jones

Inquire