Tools

LEADER 01760cam a2200457Ia 4500

001 ocn209334163;

003 OCoLC;

005 20141212003700.0;

008 080225s2008 gw a b 001 0 eng d;

010 a| 2008921563;

020 a| 3540774254;

020 a| 9783540774259;

029 1 a| OHXb| har070173501;

029 1 a| NLGGCb| 306004186;

035 a| (Sirsi) o209334163;

035 a| (OCoLC)209334163;

049 a| EREE;

084 a| 31.802| bcl;

090 a| QA76.76.V47b| E8 2008;

100 1 a| Esparza, Javier.=| ^A363571;

245 10 a| Unfoldings :b| a partial-order approach to model checking /c| Javier Esparza, Keijo Heljanko.;

260 a| Berlin :b| Springer,c| 2008.;

300 a| xii, 169 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Monographs in theoretical computer science: an EATCS series,x| 1431-2654;

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

650 0 a| Computer softwarex| Testing.=| ^A155860;

650 0 a| Computer systemsx| Verification.=| ^A519628;

700 1 a| Heljanko, Keijo.=| ^A783778;

830 0 a| Monographs in theoretical computer science.=| ^A414682;

994 a| C0b| ERE;

938 a| YBP Library Servicesb| YANKn| 2778845;

938 a| Baker & Taylorb| BKTYc| 79.95d| 79.95i| 3540774254n| 0007600426s| active;

938 a| Otto Harrassowitzb| HARRn| har070173501c| 92.66 USD;

938 a| Blackwell Book Serviceb| BBUSn| R9713366c| $79.95;

596 a| 1;

998 a| 1356974;

999 a| QA76.76.V47 E8 2008w| LCc| 1i| 30372014011677d| 2/25/2013f| 2/25/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 6/25/2008x| BOOKz| JSTACKSo| .STAFF. 0;

Unfoldings : a partial-order approach to model checking / Javier Esparza, Keijo Heljanko.

Author/creator	Esparza, Javier
Other author	Heljanko, Keijo.
Format	Book
Publication Info	Berlin : Springer, 2008.
Description	xii, 169 pages : illustrations ; 25 cm.
Subjects	Computer software--Testing. Computer systems--Verification.

Series	Monographs in theoretical computer science: an EATCS series, 1431-2654 Monographs in theoretical computer science. ^A414682
Bibliography note	Includes bibliographical references (p. [157]-164) and index.
LCCN	2008921563
ISBN	3540774254
ISBN	9783540774259

Availability

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

Unfoldings : a partial-order approach to model checking / Javier Esparza, Keijo Heljanko.

Click here for more information about this title

Availability