Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
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 International Workshop and Tutorial, FMTea 2019, Held As Part of the Third World Congress on Formal Methods, FM 2019,

by Brijesh Dongol, Luigia Petre, Graeme Smith Paperback 2019

⭐ 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, Luigia Petre, Graeme Smith
  • ISBN 13: 9783030324407
  • ISBN 10: 3030324400
  • Publication Year: 2019
  • Language: English

Specifications

Index-103030324400
LanguageEnglish
Index-139783030324407
Period-
Class Track-
Publisher- (2019)
Pages-

✨ Readers also enjoyed...

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

Integrated Formal Methods : 16th I…

Brijesh Dongol, Elena Troubitsyna

Inquire
Software Engineering for Robotics

Software Engineering for Robotics

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

Inquire
Dorchester Terrace

Dorchester Terrace

Anne Perry

Inquire
Guide to Life and Literature of the Southwest

Guide to Life and Literature of th…

J. Frank Dobie

Inquire