Tools

LEADER 01885cam a22004454a 4500

001 ocm42580551;

003 OCoLC;

005 20141212132531.0;

008 990928s1999 gw a b 101 0 eng ;

010 a| 99049725;

020 a| 3540664998 (alk. paper);

035 a| (Sirsi) o42580551;

035 a| (OCoLC)42580551;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.76.V47b| S68 1999;

072 7 a| QA2| lcco;

082 00 a| 005.2/762| 21;

111 2 a| International SPIN Workshop.=| ^A857348;

245 10 a| Theoretical and practical aspects of SPIN model checking :b| 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings /c| Dennis Dams [and others] (eds.).;

246 18 a| SPIN'99, theoretical and practical aspects of SPIN model checking;

300 a| x, 276 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| 1680;

504 a| Includes bibliographical references and index.;

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

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

700 1 a| Dams, Dennis.=| ^A419160;

711 2 a| World Congress on Formal Methods in the Development of Computing Systemsd| (1999 :c| Toulouse, France)=| ^A419161;

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

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har005103037c| 70.00 DEM;

980 a| 1999-11-17b| 52d| 2.62e| 43.68f| 55169;

596 a| 1;

998 a| 658644;

999 a| QA76.76.V47 S68 1999w| LCc| 1i| 30372010640800d| 2/25/2013f| 2/25/2013g| 1l| JGESm| JOYNERp| $43.68r| Ys| Yt| JGESBKu| 1/29/2000x| BOOKz| JSTACKSo| .STAFF. 0;

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams [and others] (eds.).

Author/creator	International SPIN Workshop
Other author	Dams, Dennis.
Other author	World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France)
Format	Book
Publication Info	Berlin ; New York : Springer, ©1999.
Description	x, 276 pages : illustrations ; 24 cm.
Subjects	SPIN (Computer file)--Congresses. Computer software--Verification. --Congresses.

Spine title	SPIN'99, theoretical and practical aspects of SPIN model checking
Series	Lecture notes in computer science ; 1680 Lecture notes in computer science 1680. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	99049725
ISBN	3540664998 (alk. paper)

Availability

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

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams [and others] (eds.).

Click here for more information about this title

Availability