Sandrine Blazyのリリース

iMusicに在庫あり在庫なし商品を表示

Cover for Sandrine Blazy · Sémantiques Formelles: Vérification Formelle De Propriétés Sémantiques Des Langages De Programmation (Paperback Book) [French edition] (2018)

Sémantiques Formelles: Vérificat... (2018)

Cover for Sandrine Blazy · Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2015 edition] (2015)

1st ed. 2015 edition

Static Analysis: 22nd Internatio... (2015)

Cover for Sandrine Blazy · Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Interactive Theorem Proving: 4th... (2013)