Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 1

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

by Michael G. Hinchey, Maria M. Larrondo-Petrie, Michael Butler Paperback 2007

⭐ 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 G. Hinchey, Maria M. Larrondo-Petrie, Michael Butler
  • ISBN 13: 9783540766483
  • ISBN 10: 3540766480
  • Publication Year: 2007
  • Language: English

Specifications

Index-10 3540766480
Index-13 9783540766483
Language English

✨ Readers also enjoyed...

View All →
Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 2000 Revised Papers

Formal Approaches to Agent-Based S…

James L. Rash, Diana Gordon, Michael G. Hinchey, Christopher A. Rouff, Walter Truszkowski

Inquire
Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 2002, Revised Papers

Formal Approaches to Agent-Based S…

Michael G. Hinchey, Diana Gordon-Spears, James L. Rash, Christopher Rouff, Walter F. Truszkowski

Inquire
Formal Approaches to Agent-Based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Formal Approaches to Agent-Based S…

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

Inquire
High-Integrity System Specification and Design

High-Integrity System Specificatio…

Michael G. Hinchey, J. P. Bowen, S. A. Schuman

Inquire
Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods…

Michael G. Hinchey, Jonathan P. Bowen, S. A. Schuman

Inquire