Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

by Michael Butler, Wolfram Schulte Paperback 2011

⭐ 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: Michael Butler, Wolfram Schulte
  • ISBN 13: 9783642214363
  • ISBN 10: 3642214363
  • Publication Year: 2011
  • Language: English

Specifications

Index-10 3642214363
Index-13 9783642214363
Language English

✨ Readers also enjoyed...

View All →
Abstract State Machines, B and Z : First International Conference, ABZ 2008 London, UK September 2008 Proceedings

Abstract State Machines, B and Z :…

Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca

Inquire
Animal Cell Culture and Technology

Animal Cell Culture and Technology

Michael Butler

Inquire
Dark Ages: Vampire (Vampire: The Dark Ages)

Dark Ages: Vampire (Vampire: The D…

Bruce Baugh, Michael Butler, White Wolf Staff, Michael Butler

Inquire
Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 1

Formal Methods and Software Engine…

Michael G. Hinchey, Maria M. Larrondo-Petrie, Michael Butler

Inquire
Frisch : "Andorra"

Frisch : "Andorra"

Michael Butler

Inquire