Date: 2010-07-21 10:31:15Parallel computing Computing Computer engineering Computer science Electrical engineering Electronic engineering Electromagnetism Message Passing Interface Model checking Computer programming Computational science Simulation | | The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USAAdd to Reading ListSource URL: www.lix.polytechnique.frDownload Document from Source Website File Size: 998,62 KBShare Document on Facebook
|