Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Specification and Software Development

Formal Specification and Software Development

by Dines Bjørner, Cliff B. Jones Hardcover

⭐ 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: Dines Bjørner, Cliff B. Jones
  • ISBN 13: 9780133290035
  • ISBN 10: 0133290034
  • Language: English

Specifications

Index-10 0133290034
Index-13 9780133290035
Language English

✨ Readers also enjoyed...

View All →
Baltic Computer Science : Selected Papers

Baltic Computer Science : Selected…

J. Barzdins, Dines Bjørner

Inquire
Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedin

Formal Methods in Programming and …

Dines Bjørner, M. Broy, I.V. Pottosin

Inquire
Logics of Specification Languages

Logics of Specification Languages

Dines Bjørner, Martin C. Henson

Inquire
Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2001 Revi

Perspectives of System Informatics…

Dines Bjorner, Manfred Broy, Alexandre V. Zamulin, Dines Bjørner

Inquire
Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 1999, Pro

Perspectives of System Informatics…

International Andrei Ershov Memorial Conference Staff, Dines Bjørner, Manfred Broy, Alexandre V. Zamulin

Inquire