Top 266 dell isola PDF Book Page 9

book image

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.)
·271 Pages
·2012
·12.265 MB

book image

La caduta dell"impero del male". Saggio sulla tragedia della Russia

Aleksandr Zinon’ev
·156 Pages
·1994
·9.424 MB