Tools

LEADER 01966cam 2200517 a 4500

001 ocn170042062;

003 OCoLC;

005 20141212050039.0;

008 070815s2008 enka b 001 0 eng ;

010 a| 2007941384;

015 a| GBA7715062| bnb;

016 7 a| 0138344192| Uk;

020 a| 9781846287695 (pbk.);

020 a| 1846287693 (pbk.);

020 a| 1846287707 (ebook);

020 a| 9781846287701 (ebook);

029 1 a| OHXb| har060152811;

029 1 a| NZ1b| 12197007;

029 1 a| AU@b| 000042717862;

035 a| (Sirsi) o170042062;

035 a| (OCoLC)170042062;

049 a| EREE;

050 00 a| QA76.76.V47b| B46 2008;

082 04 a| 005.142| 22;

100 1 a| Ben-Ari, M.,d| 1948-=| ^A305186;

245 10 a| Principles of the Spin model checker /c| Mordechai Ben-Ari.;

300 a| xv, 216 pages :b| illustrations ;c| 24 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references (p. [209]-210) and index.;

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

650 0 a| Computer softwarex| Verification.=| ^A277748;

856 42 3| Publisher descriptionu| http://www.loc.gov/catdir/enhancements/fy0825/2007941384-d.html;

856 41 3| Table of contents onlyu| http://www.loc.gov/catdir/enhancements/fy0825/2007941384-t.html;

994 a| C0b| ERE;

938 a| Baker & Taylorb| BKTYc| 59.95d| 59.95i| 1846287693n| 0007432247s| active;

938 a| Baker and Taylorb| BTCPn| BK0007432247;

938 a| YBP Library Servicesb| YANKn| 2710233;

938 a| Otto Harrassowitzb| HARRn| har060152811;

938 a| Blackwell Book Serviceb| BBUSn| R7709139c| $59.95;

596 a| 1;

998 a| 2191140;

999 a| QA76.76.V47 B46 2008w| LCc| 1i| 30372015330126d| 4/3/2012e| 1/10/2012f| 2/13/2012g| 1l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 4/27/2010x| BOOKz| JSTACKSo| .STAFF. jmpl;

Principles of the Spin model checker / Mordechai Ben-Ari.

Author/creator	Ben-Ari, M., 1948-
Format	Book
Publication Info	London : Springer, ©2008.
Description	xv, 216 pages : illustrations ; 24 cm
Supplemental Content	Publisher description
Supplemental Content	Table of contents only
Subjects	SPIN (Computer file) Computer software--Verification.

Bibliography note	Includes bibliographical references (p. [209]-210) and index.
LCCN	2007941384
ISBN	9781846287695 (pbk.)
ISBN	1846287693 (pbk.)
ISBN	1846287707 (ebook)
ISBN	9781846287701 (ebook)

Availability

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

Principles of the Spin model checker / Mordechai Ben-Ari.

Click here for more information about this title

Availability