Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part IV

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part IV

by Ruzica Piskac, Zvonimir Rakamarić Paperback 2025

⭐ 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: Ruzica Piskac, Zvonimir Rakamarić
  • ISBN 13: 9783031986840
  • ISBN 10: 3031986849
  • Publication Year: 2025
  • Language: English

Specifications

Index-10 3031986849
Index-13 9783031986840
Language English

✨ Readers also enjoyed...

View All →
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part I

Computer Aided Verification : 37th…

Ruzica Piskac, Zvonimir Rakamarić

Inquire
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part II

Computer Aided Verification : 37th…

Ruzica Piskac, Zvonimir Rakamarić

Inquire
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part III

Computer Aided Verification : 37th…

Ruzica Piskac, Zvonimir Rakamarić

Inquire
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceed

Verification, Model Checking, and …

Constantin Enea, Ruzica Piskac

Inquire