Tools

LEADER 02833cam 2200529 i 4500

001 ssj0000539197;

003 WaSeSS;

005 20240512155341.0;

006 m d ;

007 cr n ;

008 110526s2011 gw a sb 101 0 eng d;

010 a| 2011930657;

020 a| 9783642223051 (soft cover : alk. paper);

020 a| 3642223052 (soft cover : alk. paper);

035 a| (WaSeSS)ssj0000539197;

042 a| pcc;

049 a| EREEa| NEHH;

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

111 2 a| International SPIN Workshopn| (18th :d| 2011 :c| Snowbird, Utah)?| UNAUTHORIZED;

245 10 a| Model checking softwareh| [electronic resource] :b| 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings /c| Alex Groce, Madanlal Musuvathi (eds.).;

246 30 a| SPIN 2011;

260 a| Heidelberg ;a| New York :b| Springer,;

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

490 0 a| Lecture notes in computer science ;v| 6823;

490 0 a| LNCS sublibrary. SL 1, Theoretical computer science and general issues;

500 a| Issued also online.;

504 a| Includes bibliographical references and index.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

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

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

655 0 a| Electronic books.=| ^A491897;

700 1 a| Groce, Alex.?| UNAUTHORIZED;

700 1 a| Musuvathi, Madanlal.?| UNAUTHORIZED;

856 40 z| Full text available from Springer Booksu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F978-3-642-22306-8;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-642-22305-1;

856 40 z| Full text available from Springer Nature - Springer Computer Science eBooks 2011 English Internationalu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F978-3-642-22306-8;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4185946;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4185946-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/2/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4185946-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/2/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4185946-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/2/2016x| EBOOKz| JERESOURCE;

Model checking software 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings / Alex Groce, Madanlal Musuvathi (eds.).

Author/creator	International SPIN Workshop
Other author	Groce, Alex.
Other author	Musuvathi, Madanlal.
Format	Electronic
Publication Info	Heidelberg ; New York : Springer,
Description	x, 193 pages : illustrations ; 24 cm.
Supplemental Content	Full text available from Springer Books
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Supplemental Content	Full text available from Springer Nature - Springer Computer Science eBooks 2011 English International
Subjects	SPIN (Computer file)--Congresses. Computer software--Verification. --Congresses. Computer simulation--Testing. --Data processing. --Congresses.

Portion of title	SPIN 2011
Series	Lecture notes in computer science ; 6823 LNCS sublibrary. SL 1, Theoretical computer science and general issues
General note	Issued also online.
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2011930657
ISBN	9783642223051 (soft cover : alk. paper)
ISBN	3642223052 (soft cover : alk. paper)

Model checking software 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings / Alex Groce, Madanlal Musuvathi (eds.).

Click here for more information about this title