Tools

LEADER 02359cam a2200457 a 4500

001 ssj0000323191;

003 WaSeSS;

005 20240712080447.0;

006 m d ;

007 cr n ;

008 960223s1996 gw a sb 101 0 eng d;

010 a| 96007194;

020 a| 3540609733 (Berlin : acid-free paper);

035 a| (WaSeSS)ssj0000323191;

040 a| DLCc| DLCd| DLCd| WaSeSS;

049 a| EREEa| NEHH;

050 00 a| QA76.76.D47b| I593 1996;

082 00 a| 005.1/01/51132| 20;

111 2 a| International Symposium of Formal Methods Europen| (3rd :d| 1996 :c| Oxford, England)=| ^A1216292;

245 10 a| FME '96, industrial benefit and advances in formal methodsh| [electronic resource] :b| Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings /c| Marie-Claude Gaudel, James Woodcock, eds.;

246 3 a| Industrial benefit and advances in formal methods;

260 a| Berlin ;a| New York :b| Springer,;

300 a| xii, 704 p. :b| ill. ;c| 24 cm.;

440 0 a| Lecture notes in computer science ;v| 1051;

504 a| Includes bibliographical references and index.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Computer softwarex| Developmentx| Congresses.=| ^A210127;

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

700 1 a| Gaudel, M.-C.q| (Marie-Claude)=| ^A320913;

700 1 a| Woodcock, Jim.=| ^A318888;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Scienceu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F3-540-60973-3;

856 40 z| Full text available from Springer Booksu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F3-540-60973-3;

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

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

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

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

FME '96, industrial benefit and advances in formal methods Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings / Marie-Claude Gaudel, James Woodcock, eds.

Author/creator	International Symposium of Formal Methods Europe
Other author	Gaudel, M.-C. (Marie-Claude)
Other author	Woodcock, Jim.
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xii, 704 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science
Supplemental Content	Full text available from Springer Books
Subjects	Computer software--Development. --Congresses.

Variant title	Industrial benefit and advances in formal methods
Series	Lecture notes in computer science ; 1051
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	96007194
ISBN	3540609733 (Berlin : acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Online Content Full text available from SpringerLINK Lecture Notes in Computer Science Full text available from SpringerLINK Lecture Notes in Computer Science	✔ Available

FME '96, industrial benefit and advances in formal methods Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings / Marie-Claude Gaudel, James Woodcock, eds.

Click here for more information about this title

Availability