Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedin

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

by Dines Bjørner, M. Broy, I.V. Pottosin Paperback 1993

⭐ 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, M. Broy, I.V. Pottosin
  • ISBN 13: 9783540573166
  • ISBN 10: 354057316X
  • Publication Year: 1993
  • Language: English

Specifications

Index-10 354057316X
Index-13 9783540573166
Language English

✨ Readers also enjoyed...

View All →
Baltic Computer Science : Selected Papers

Baltic Computer Science : Selected…

J. Barzdins, Dines Bjørner

Inquire
Formal Specification and Software Development

Formal Specification and Software …

Dines Bjørner, Cliff B. Jones

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