Tools

LEADER 01299cam 2200337 a 4500

001 ocm20995144;

005 20141212081111.0;

008 900111s1990 wb a 100 0 eng ;

010 a| 90009439;

020 a| 0387521488 (U.S. : alk. paper);

035 a| (Sirsi) o20995144;

035 a| (OCoLC)20995144;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| TK5105.5b| .A97 1990;

082 00 a| 004.6/22| 20;

245 00 a| Automatic verification methods for finite state systems :b| international workshop, Grenoble, France, June 12-14, 1989 : proceedings /c| J. Sifakis (Ed.).;

300 a| vii, 382 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 407;

504 a| Includes bibliographical references.;

650 0 a| Computer network protocolsv| Congresses.=| ^A179379;

700 1 a| Sifakis, J.q| (Joseph),d| 1946-=| ^A259114;

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

919 a| BOOK;

596 a| 1;

998 a| 369160;

999 a| TK5105.5 .A97 1990w| LCc| 1i| 30372005620775d| 4/2/2013f| 4/2/2013g| 2l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 11/16/1990x| BOOKz| JSTACKSo| .STAFF. 0;

Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings / J. Sifakis (Ed.).

Other author	Sifakis, J. (Joseph), 1946-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1990.
Description	vii, 382 pages : illustrations ; 25 cm.
Subjects	Computer network protocols--Congresses.

Series	Lecture notes in computer science ; 407 Lecture notes in computer science 407. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	90009439
ISBN	0387521488 (U.S. : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	TK5105.5 .A97 1990	✔ Available	Place Hold

Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings / J. Sifakis (Ed.).

Click here for more information about this title

Availability