158 records matched your query
02144cam a2200421Ia 4500 001 D3AF9202FBCF11DEB3E93EDF5F36B428 003 SILO 005 20100120073657 006 m d 007 cr mnu 008 090824s2009 gw a sb 101 0 eng d 020 $a 3642026524 020 $a 9783642026522 035 $a (OCoLC)432713244 040 $a GW5XE $b eng $c GW5XE $d SILO $d IWA $d SILO 072 7 $a QA $2 lcco 082 04 $a 005.1/4 $2 22 111 2 $a International SPIN Workshop $n (16th : $d 2009 : $c Grenoble, France) 245 1 $a Model checking software $h [electronic resource] : $b 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings / $c Corina S. PaÌsaÌreanu (ed.). 260 $a New York : $b Springer, $c c2009. 300 $a 1 online resource (x, 295 p.) : $b ill. 490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 5578 490 1 $a LNCS sublibrary. SL 1 Theoretical computer science and general issues 500 $a Description based on print. 500 $a This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), that was held at the Grenoble World Trade Center, in Grenoble France, June 26-28, 2009.--Pref. 504 $a Includes bibliographical references and index. 630 00 $a SPIN (Computer file) $v Congresses. 650 0 $a Computer software $x Verification $v Congresses. 700 1 $a PaÌsaÌreanu, Corina S. 776 08 $i Print version: $a International SPIN Workshop (16th : 2009 : Grenoble, France). $t Model checking software. $d Berlin ; New York : Springer, 2009 $z 9783642026515 $w (OCoLC)419645564 830 0 $a Lecture notes in computer science ; $v 5578. 830 0 $a LNCS sublibrary. $n SL 1 $p Theoretical computer science and general issues. 856 40 $u http://dx.doi.org/10.1007/978-3-642-02652-2 856 40 $u http://proxy.lib.iastate.edu:2048/login?url=http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-642-02651-5 941 $a 1 952 $l USUX851 $d 20160825032921.0 956 $a http://locator.silo.lib.ia.us/search.cgi?index_0=id&term_0=D3AF9202FBCF11DEB3E93EDF5F36B428 994 $a 02 $b IWAInitiate Another SILO Locator Search