Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings

Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings

by Martin Leucker, Charles Carroll Morgan Paperback 2009

⭐ 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: Martin Leucker, Charles Carroll Morgan
  • ISBN 13: 9783642034657
  • ISBN 10: 3642034659
  • Publication Year: 2009
  • Language: English

Specifications

Index-10 3642034659
Index-13 9783642034657
Language English

✨ Readers also enjoyed...

View All →
Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings

Formal Methods : 25th Internationa…

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Inquire
Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Formal Methods in Outer Space : Es…

Ezio Bartocci, Yliès Falcone, Martin Leucker

Inquire
Model-Based Testing of Reactive Systems : Advanced Lectures

Model-Based Testing of Reactive Sy…

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Inquire
Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings

Runtime Verification : 18th Intern…

Christian Colombo, Martin Leucker

Inquire
Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers

Runtime Verification : 8th Interna…

Martin Leucker

Inquire