Tools

LEADER 02006cam a22005294a 4500

001 ocm46837036;

003 OCoLC;

005 20141212160209.0;

007 cr unu--------;

008 010423s2001 gw a b 101 0 eng ;

010 a| 2001032221;

015 a| GBA1-32386;

016 7 a| 9613511872| GyFmDB;

019 a| 47063648;

020 a| 3540421246 (pbk. : alk. paper);

035 a| (Sirsi) o46837036;

035 a| (OCoLC)46837036;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.76.V47b| I58 2001;

072 7 a| Q2| lcco;

082 00 a| 005.1/42| 21;

111 2 a| International SPIN Workshopn| (8th :d| 2001 :c| Toronto, Ont.)?| UNAUTHORIZED;

245 10 a| Model checking software :b| 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /c| Matthew Dwyer (ed.).;

260 a| Berlin ;a| New York :b| Springer,c| 2001.;

300 a| x, 311 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 2057;

500 a| On cover: ACM SIGSOFT.;

504 a| Includes bibliographical references and index.;

630 00 a| SPIN (Computer file)v| Congresses.=| ^A846633;

630 04 a| SPIN (Computer file)v| Congresses.=| ^A846633;

650 0 a| Computer softwarex| Verificationv| Congresses.=| ^A1146757;

700 1 a| Dwyer, Matthew,d| 1963-=| ^A490806;

710 2 a| ACM Sigsoft.=| ^A113088;

830 0 a| Lecture notes in computer sciencev| 2057.=| ^A466336;

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2057.htm;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har010039276c| 86.00 DEM;

980 a| 2001-08-29b| 56d| 3.19e| 53.2f| 887554;

596 a| 1;

998 a| 852279;

999 a| QA76.76.V47 I58 2001w| LCc| 1i| 30372011200885d| 2/25/2013f| 2/25/2013g| 1l| JGESm| JOYNERp| $53.20r| Ys| Yt| JGESBKu| 9/11/2001x| BOOKz| JSTACKSo| .STAFF. 0;

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.).

Author/creator	International SPIN Workshop
Other author	Dwyer, Matthew, 1963-
Other author	ACM Sigsoft.
Format	Electronic
Publication Info	Berlin ; New York : Springer, 2001.
Description	x, 311 pages : illustrations ; 24 cm.
Supplemental Content	http://link.springer-ny.com/link/service/series/0558/tocs/t2057.htm
Subjects	SPIN (Computer file)--Congresses. SPIN (Computer file)--Congresses. Computer software--Verification. --Congresses.

Series	Lecture notes in computer science ; 2057 Lecture notes in computer science 2057. ^A466336
General note	On cover: ACM SIGSOFT.
Bibliography note	Includes bibliographical references and index.
LCCN	2001032221
ISBN	3540421246 (pbk. : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.76.V47 I58 2001	✔ Available	Place Hold

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.).

Click here for more information about this title

Availability