1. Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings Author/Creator: VMCAI 2012 Philadelphia, Pa.) (2012 Publication/Creation: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Resource Type: Book Access & Availability: Loading
2. VMware ThinApp 4.7 essentials learn how to quickly and efficiently virtualize you applications with ThinApp 4.7 Author/Creator: Björk, Peter Publication/Creation: Birminghan, UK : Packt Pub., 2012 Resource Type: Book Edition: 1st edition Access & Availability: Loading