Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Logics of Specification Languages

Logics of Specification Languages

by Dines Bjørner, Martin C. Henson Paperback 2010

⭐ 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, Martin C. Henson
  • ISBN 13: 9783642093456
  • ISBN 10: 3642093450
  • Publication Year: 2010
  • Language: English

Specifications

Index-10 3642093450
Index-13 9783642093456
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
Formal Specification and Software Development

Formal Specification and Software …

Dines Bjørner, Cliff B. Jones

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