Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings

Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings

by Brijesh Dongol, Elena Troubitsyna Paperback 2020

⭐ 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: Brijesh Dongol, Elena Troubitsyna
  • ISBN 13: 9783030634605
  • ISBN 10: 3030634604
  • Publication Year: 2020
  • Language: English

Specifications

Index-103030634604
LanguageEnglish
Index-139783030634605
Period-
Class Track-
Publisher- (2020)
Pages-

✨ Readers also enjoyed...

View All →
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held As Part of the Third World Congress on Formal Methods, FM 2019,

Formal Methods Teaching : Third In…

Brijesh Dongol, Luigia Petre, Graeme Smith

Inquire
Software Engineering for Robotics

Software Engineering for Robotics

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

Inquire
Teen Trailblazers: 30 Fearless Girls Who Changed the World Before They Were 20

Teen Trailblazers: 30 Fearless Gir…

Jennifer Calvert, Vesna Asanovic

Inquire