Tools

LEADER 01857cam a22004694a 4500

001 ocm44818429;

003 OCoLC;

005 20141212144819.0;

008 000811s2000 gw a b 101 0 eng ;

010 a| 00063787;

015 a| GBA0-58434;

020 a| 3540410309 (softcover : alk. paper);

035 a| (Sirsi) o44818429;

035 a| (OCoLC)44818429;

042 a| pcc;

049 a| EREE;

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

072 7 a| Q2| lcco;

082 00 a| 005.2/762| 21;

111 2 a| International SPIN Workshopn| (7th :d| 2000 :c| Stanford, Calif.)?| UNAUTHORIZED;

245 10 a| SPIN model checking and software verification :b| 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings /c| Klaus Havelund, John Penix, Willem Visser (eds.).;

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

300 a| x, 342 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| 1885;

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| Havelund, Klaus,d| 1955-=| ^A465944;

700 1 a| Penix, John,d| 1970-=| ^A465945;

700 1 a| Visser, Willem,d| 1968-=| ^A465946;

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

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har005136693c| 90.00 DEM;

980 a| 2000-12-06b| 62d| 3.12e| 52.08f| 606777;

596 a| 1;

998 a| 776583;

999 a| QA76.76.V47 I58 2000w| LCc| 1i| 30372010930615d| 2/25/2013f| 2/25/2013g| 1l| JGESm| JOYNERp| $52.08r| Ys| Yt| JGESBKu| 12/15/2000x| BOOKz| JSTACKSo| .STAFF. 0;

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings / Klaus Havelund, John Penix, Willem Visser (eds.).

Author/creator	International SPIN Workshop
Other author	Havelund, Klaus, 1955-
Other author	Penix, John, 1970-
Other author	Visser, Willem, 1968-
Format	Book
Publication Info	Berlin ; New York : Springer, 2000.
Description	x, 342 pages : illustrations ; 24 cm.
Subjects	SPIN (Computer file)--Congresses. Computer software--Verification. --Congresses.

Series	Lecture notes in computer science ; 1885 Lecture notes in computer science 1885. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	00063787
ISBN	3540410309 (softcover : alk. paper)

Availability

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

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings / Klaus Havelund, John Penix, Willem Visser (eds.).

Click here for more information about this title

Availability