Top 1134 eidos interactive PDF Book Page 46

book image

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)
·394 Pages
·2011
·4.091 MB

book image

Design, Specification and Verification of Interactive Systems ’96: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5–7, 1996

Pedro Szekely (auth.), Prof. Francois Bodart, Jean Vanderdonckt M.Sc. (eds.)
·397 Pages
·1996
·9.382 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.