Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Automated Technology for Verification and Analysis : 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis : 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings

by Cyrille Artho, Axel Legay, Doron Peled 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: Cyrille Artho, Axel Legay, Doron Peled
  • ISBN 13: 9783319465197
  • ISBN 10: 3319465198
  • Publication Year: 2016
  • Language: English

Specifications

Index-103319465198
LanguageEnglish
Index-139783319465197
Period-
Class Track-
Publisher- (2016)
Pages-

✨ Readers also enjoyed...

View All →
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Formal Techniques for Safety-Criti…

Cyrille Artho, Peter Csaba Ölveczky

Inquire
Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Pap

Formal Techniques for Safety-Criti…

Cyrille Artho, Peter Csaba Ölveczky

Inquire
Formal Techniques for Safety-Critical Systems : Second International Workshop, Ftscs 2013, Queenstown, New Zealand, October 29-30, 2013

Formal Techniques for Safety-Criti…

Cyrille Artho, Peter Csaba Ölveczky

Inquire
Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Formal Techniques for Safety-Criti…

Cyrille Artho, Peter Csaba Ölveczky

Inquire
Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Formal Techniques for Safety-Criti…

Cyrille Artho, Peter Csaba Ölveczky

Inquire