Alle 3 Sandrine Blazy-udgivelser på Paperback Bog
Kategorier
Andet
Kundeservice
DKK
På lager hos iMusic
Vis udgåede udgivelser
![Cover for Sandrine Blazy · Sémantiques Formelles: Vérification Formelle De Propriétés Sémantiques Des Langages De Programmation (Paperback Bog) [French edition] (2018)](https://imusic.b-cdn.net/images/item/original/955/9786131529955.jpg?sandrine-blazy-2018-semantiques-formelles-verification-formelle-de-proprietes-semantiques-des-langages-de-programmation-paperback-bog&class=scaled&v=1506304276)
![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 Bog) [1st ed. 2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/872/9783662482872.jpg?sandrine-blazy-2015-static-analysis-22nd-international-symposium-sas-2015-saint-malo-france-september-9-11-2015-proceedings-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1483463581)
![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 Bog) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/335/9783642396335.jpg?sandrine-blazy-2013-interactive-theorem-proving-4th-international-conference-itp-2013-rennes-france-july-22-26-2013-proceedings-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1470773601)