Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Integrated Formal Methods : [7th International Conference, IFM 2009, Düsseldorf, Germany, February 2009, Proceedings

Integrated Formal Methods : [7th International Conference, IFM 2009, Düsseldorf, Germany, February 2009, Proceedings

by Michael Leuschel, Heike Wehrheim Paperback 2009

⭐ 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 Leuschel, Heike Wehrheim
  • ISBN 13: 9783642002540
  • ISBN 10: 3642002544
  • Publication Year: 2009
  • Language: English

Specifications

Index-10 3642002544
Index-13 9783642002540
Language English

✨ Readers also enjoyed...

View All →
Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Abstract State Machines, Alloy, B,…

John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel

Inquire
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected P

Formal Methods for Components and …

Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel

Inquire
Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Rigorous State-Based Methods : 10t…

Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra

Inquire