MayDay Sale → Spara upp till 60%
Alla 2s utgivelser på Franck Cassez
Kategorier
Annan
Kundservice
SEK
![Cover for Franck Cassez · Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings - Programming and Software Engineering (Pocketbok) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/359/9783319119359.jpg?franck-cassez-2014-automated-technology-for-verification-and-analysis-12th-international-symposium-atva-2014-sydney-australia-november-3-7-2014-proceedings-programming-and-software-engineering-pocketbok&class=scaled&v=1445690766)
![Cover for Franck Cassez · Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings - Theoretical Computer Science and General Issues (Pocketbok) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/778/9783540857778.jpg?franck-cassez-2008-formal-modeling-and-analysis-of-timed-systems-6th-international-conference-formats-2008-saint-malo-france-september-15-17-2008-proceedings-theoretical-computer-science-and-general-issues-pocketbok&class=scaled&v=1445690766)