Tools

LEADER 02104nam 2200493 a 4500

001 ssj0000116721;

003 WaSeSS;

005 20250714084803.0;

006 m d ;

007 cr n ;

008 010220s2000 ne a sb 100 0 eng d;

010 a| 2001266646;

015 a| GBA1-00062;

020 a| 0444505563 (alk. paper);

035 a| (WaSeSS)ssj0000116721;

040 a| UKMc| UKMd| DLCd| WaSeSS;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA10b| .C35 2000;

082 00 a| 511.32| 21;

245 00 a| Cafeh| [electronic resource] :b| an industrial-strength algebraic formal method /c| edited by K. Futatsugi, A.T. Nakagawa, T. Tamai.;

250 a| 1st ed.;

260 a| Amsterdam ;a| New York :b| Elsevier,;

300 a| xiv, 193 p. :b| ill. ;c| 24 cm.;

500 a| Selected papers from a symposium held in Numazu, April 1998.;

504 a| Includes bibliographical references.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Algebraic logicv| Congresses.=| ^A62748;

650 0 a| Formal methods (Computer science)v| Congresses.=| ^A422971;

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

700 1 a| Futatsugi, Kokichi.=| ^A378874;

700 1 a| Tamai, T.q| (Tetsuo)?| UNAUTHORIZED;

700 1 a| Nakagawa, A. T.q| (Ataru T.)?| UNAUTHORIZED;

856 40 z| Full text available from eBook - Computer Science 1995 - 2006u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Fwww.sciencedirect.com%2Fscience%2Fbook%2F9780444505569;

947 a| (OCoLC)ocm45593096;

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

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6588982-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 7/17/2025x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6588982-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 7/17/2025x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6588982-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 7/17/2025x| EBOOKz| JERESOURCE;

Cafe an industrial-strength algebraic formal method / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai.

Other author	Futatsugi, Kokichi.
Other author	Tamai, T. (Tetsuo)
Other author	Nakagawa, A. T. (Ataru T.)
Format	Electronic
Edition	1st ed.
Publication Info	Amsterdam ; New York : Elsevier,
Description	xiv, 193 p. : ill. ; 24 cm.
Supplemental Content	Full text available from eBook - Computer Science 1995 - 2006
Subjects	Algebraic logic--Congresses. Formal methods (Computer science)--Congresses.

General note	Selected papers from a symposium held in Numazu, April 1998.
Bibliography note	Includes bibliographical references.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2001266646
ISBN	0444505563 (alk. paper)

Cafe an industrial-strength algebraic formal method / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai.

Click here for more information about this title