Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 18-24, 2021, Proceedings, Part II

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

by Alexandra Silva, K. Rustan M. Leino Paperback 2021

⭐ 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, K. Rustan M. Leino
  • ISBN 13: 9783030816872
  • ISBN 10: 3030816877
  • Publication Year: 2021
  • Language: English

Specifications

Index-103030816877
LanguageEnglish
Index-139783030816872
Period-
Class Track-
Publisher- (2021)
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
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
Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Pape

Language, Logic, and Computation :…

Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach

Inquire
What Is the Emperor Wearing? : Truth-Telling in Business Relationships

What Is the Emperor Wearing? : Tru…

Laurie Weiss

Inquire
Devil's Food

Devil's Food

Anthony Bruno

Inquire