Logo

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

Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, Tacas 2016, Held As Part of the European Joint Conf

by Marsha Chechik, Jean-Francois Raskin Paperback 2016

⭐ 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: Marsha Chechik, Jean-Francois Raskin
  • ISBN 13: 9783662496732
  • ISBN 10: 3662496739
  • Publication Year: 2016
  • Language: English

Specifications

Index-103662496739
LanguageEnglish
Index-139783662496732
Period-
Class Track-
Publisher- (2016)
Pages-

✨ 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
Fundamental Approaches to Software Engineering : 12th International Conference, Fase 2009, Held As Part of the Joint European Conferences on Theory an

Fundamental Approaches to Software…

Marsha Chechik, Martin Wirsing

Inquire
Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, on, Canada, July 17-18, 2016, Revised Selecte

Verified Software. Theories, Tools…

Sandrine Blazy, Marsha Chechik

Inquire
The Making of Modern Turkey

The Making of Modern Turkey

Ahmad Feroz

Inquire
Billy and the Big New School

Billy and the Big New School

Catherine Anholt, Laurence Anholt

Inquire