Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, TACAS 2006, Held As Part of the Joint European Conf

Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, TACAS 2006, Held As Part of the Joint European Conf

by Holger Hermanns, Jens Palsberg Paperback 2006

⭐ 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: Holger Hermanns, Jens Palsberg
  • ISBN 13: 9783540330561
  • ISBN 10: 3540330569
  • Publication Year: 2006
  • Language: English

Specifications

Index-103540330569
LanguageEnglish
Index-139783540330561
Period-
Class Track-
Publisher- (2006)
Pages-

✨ Readers also enjoyed...

View All →
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Computer Aided Verification : 19th…

Werner Damm, Holger Hermanns

Inquire
CONCUR 2006 - Concurrency Theory : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30 2006

CONCUR 2006 - Concurrency Theory :…

Christel Baier, Holger Hermanns

Inquire
Dependable Software Engineering. Theories, Tools, and Applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Pr

Dependable Software Engineering. T…

Holger Hermanns, Jun Sun, Lei Bu

Inquire
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science

Lectures on Formal Methods and Per…

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

Inquire
Measurement, Modelling and Evaluation of Computing Systems : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020,

Measurement, Modelling and Evaluat…

Holger Hermanns

Inquire