Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Pape

Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Pape

by Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach 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: Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach
  • ISBN 13: 9783662595640
  • ISBN 10: 3662595648
  • Publication Year: 2019
  • Language: English

Specifications

Index-103662595648
LanguageEnglish
Index-139783662595640
Period-
Class Track-
Publisher- (2019)
Pages-

✨ Readers also enjoyed...

View All →
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 18-24, 2021, Proceedings, Part I

Computer Aided Verification : 33rd…

Alexandra Silva, K. Rustan M. Leino

Inquire
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 18-24, 2021, Proceedings, Part II

Computer Aided Verification : 33rd…

Alexandra Silva, K. Rustan M. Leino

Inquire
Formal Techniques for Disributed Objects, Components, and Systems : 37th Ifip Wg 6. 1 International Conference, Forte 2017, Held As Part of the 12th I

Formal Techniques for Disributed O…

Ahmed Bouajjani, Alexandra Silva

Inquire