Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
FM 2009: Formal Methods : Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings

FM 2009: Formal Methods : Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings

by Ana Cavalcanti, Dennis Dams Paperback 1

⭐ 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: Ana Cavalcanti, Dennis Dams
  • ISBN 13: 9783642050886
  • ISBN 10: 3642050883
  • Publication Year: 1
  • Language: English

Specifications

Index-103642050883
LanguageEnglish
Index-139783642050886
Period-
Class Track-
Publisher- (1)
Pages-

✨ Readers also enjoyed...

View All →
Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods Icfem 2009 Rio de Janeiro, Brazil, December 2009

Formal Methods and Software Engine…

Karin Breitman, Ana Cavalcanti

Inquire
Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held As Part of the European Joint Conferences on Theory an

Fundamental Approaches to Software…

Dirk Beyer, Ana Cavalcanti

Inquire
Software Engineering for Robotics

Software Engineering for Robotics

Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock

Inquire
Towards Autonomous Robotic Systems : 26th Annual Conference, TAROS 2025, York, UK, August 20-22, 2025, Proceedings

Towards Autonomous Robotic Systems…

Ana Cavalcanti, Simon Foster, Robert Richardson

Inquire
Schaltgeräte : Grundlagen, Aufbau, Wirkungsweise

Schaltgeräte : Grundlagen, Aufbau,…

Arthur F. Kulah, K. Zückler, H. -H. Schramm, G. Luxa

Inquire