Tools

LEADER 01958cam a22004698a 4500

001 ssj0000267097;

003 WaSeSS;

005 20190313051101.0;

006 m d ;

007 cr n ;

008 070813s2008 nju s 001 0 eng d;

010 a| 2007033487;

020 a| 9780471704492 (cloth);

035 a| (WaSeSS)ssj0000267097;

040 a| DLCc| DLCd| DLCd| WaSeSS;

049 a| EREEa| NEHH;

050 00 a| TK7874.58b| .Y64 2008;

082 00 a| 621.3815/482| 22;

100 1 a| Yoeli, Michael,d| 1917-=| ^A551338;

245 10 a| Verification of systems and circuits using LOTOS, Petri Nets, and CCSh| [electronic resource] /c| Michael Yoeli & Rakefet Kol.;

260 a| Hoboken, N.J. :b| John Wiley & Sons,;

263 a| 0801;

300 a| p. cm.;

490 0 a| Wiley series on parallel and distributed computing;

500 a| Includes index.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Integrated circuitsx| Verification.=| ^A399142;

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

650 0 a| LOTOS (Computer program language)?| UNAUTHORIZED;

650 0 a| Petri nets.=| ^A127975;

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

700 1 a| Kol, Rakefet.?| UNAUTHORIZED;

856 40 z| Full text available from Ebook Central - Academic Completeu| https://ebookcentral.proquest.com/lib/eastcarolina/detail.action?docID=335732;

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| 4999723;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4999723-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 12/12/2018x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4999723-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 12/12/2018x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4999723-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 12/12/2018x| EBOOKz| JERESOURCE;

Verification of systems and circuits using LOTOS, Petri Nets, and CCS / Michael Yoeli & Rakefet Kol.

Author/creator	Yoeli, Michael, 1917-
Other author	Kol, Rakefet.
Format	Electronic
Publication Info	Hoboken, N.J. : John Wiley & Sons,
Description	p. cm.
Supplemental Content	Full text available from Ebook Central - Academic Complete
Subjects	Integrated circuits--Verification. Computer software--Verification. LOTOS (Computer program language) Petri nets.

Series	Wiley series on parallel and distributed computing
General note	Includes index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2007033487
ISBN	9780471704492 (cloth)

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Click here for more information about this title