Tools

LEADER 02403cam a2200457 a 4500

001 ssj0000327277;

003 WaSeSS;

005 20240512155341.0;

006 m d ;

007 cr n ;

008 980407s1998 nyua sb 101 0 eng d;

010 a| 98004243;

020 a| 3540643567 (softcover : alk. paper);

035 a| (WaSeSS)ssj0000327277;

040 a| DLCc| DLCd| DLCd| WaSeSS;

049 a| EREEa| NEHH;

050 00 a| QA76.9.S88b| T33 1998;

082 00 a| 004.2/12| 21;

111 2 a| TACAS '98d| (1998 :c| Lisbon, Portugal)?| UNAUTHORIZED;

245 10 a| Tools and algorithms for the construction and analysis of systemsh| [electronic resource] :b| 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings /c| Bernhard Steffen, (ed.).;

260 a| New York :b| Springer,;

300 a| xiii, 455 p. :b| ill. ;c| 24 cm.;

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

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| System designx| Congresses.=| ^A123910;

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

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

700 1 a| Steffen, Bernhard.=| ^A381039;

711 2 a| ETAPS '98d| (1998 :c| Lisbon, Portugal)?| UNAUTHORIZED;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-540-64356-2;

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%2FBFb0054159;

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

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

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

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

Tools and algorithms for the construction and analysis of systems 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Bernhard Steffen, (ed.).

Author/creator	TACAS '98
Other author	Steffen, Bernhard.
Other author	ETAPS '98 (1998 : Lisbon, Portugal)
Format	Electronic
Publication Info	New York : Springer,
Description	xiii, 455 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Supplemental Content	Full text available from Springer Books
Subjects	System design--Congresses. Computer software--Development. --Congresses.

Series	Lecture notes in computer science ; 1384
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	98004243
ISBN	3540643567 (softcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Online Content Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) Full text available from Springer Books	✔ Available

Tools and algorithms for the construction and analysis of systems 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Bernhard Steffen, (ed.).

Click here for more information about this title

Availability