Tools

LEADER 02341cam a2200541Ia 4500

001 ocm65207915;

003 OCoLC;

005 20141211190015.0;

008 060324s2006 gw 101 0 eng d;

010 a| 2006922236;

016 7 a| 9787176002| GyFmDB;

020 a| 3540331026 (pbk.);

020 a| 9783540331025;

029 0 a| OHXb| har060035578;

035 a| (Sirsi) o65207915;

035 a| (OCoLC)65207915;

049 a| EREE;

072 7 a| Q2| lcco;

090 a| QA76.76.V47b| I58 2006;

111 2 a| International SPIN Workshopn| (13th :d| 2006 :c| Vienna, Austria)?| UNAUTHORIZED;

245 10 a| Model checking software :b| 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings /c| Antti Valmari (ed.).;

246 30 a| 13th International SPIN Workshop;

246 3 a| Thirteenth International SPIN Workshop;

246 30 a| International SPIN Workshop;

246 1 i| Added cover title:a| European Joint Conferences on Theory and Practice of Software;

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

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

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 3925,x| 0302-9743 ;;

500 a| "Co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS 2006)"--Pref.;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

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

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

700 1 a| Valmari, Antti.=| ^A644122;

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

856 41 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3925z| Restricted to SpringerLink subscribers;

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har060035578c| 51.36 EUR;

938 a| Baker & Taylorb| BKTYc| 67.00d| 67.00i| 3540331026n| 0006757366s| active;

980 a| 2006-05-24b| 67d| 0e| 63.65f| 891267;

596 a| 1;

998 a| 1036986;

999 a| QA76.76.V47 I58 2006w| LCc| 1i| 30372013707689d| 2/25/2013f| 2/25/2013g| 1l| JGESm| JOYNERp| $63.65r| Ys| Yt| JGESBKu| 5/29/2006x| BOOKz| JSTACKSo| .STAFF. 0;

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings / Antti Valmari (ed.).

Author/creator	International SPIN Workshop
Other author	Valmari, Antti.
Format	Book
Publication Info	Berlin ; New York : Springer, 2006.
Description	x, 305 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	SPIN (Computer file)--Congresses. Computer software--Verification. --Congresses.

Portion of title	13th International SPIN Workshop
Variant title	Thirteenth International SPIN Workshop
Portion of title	International SPIN Workshop
Variant title	Added cover title: European Joint Conferences on Theory and Practice of Software
Series	Lecture notes in computer science ; 3925, 0302-9743 ; Lecture notes in computer science 3925. ^A466336
General note	"Co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS 2006)"--Pref.
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2006922236
ISBN	3540331026 (pbk.)
ISBN	9783540331025

Availability

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

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings / Antti Valmari (ed.).

Click here for more information about this title

Availability