Tools

LEADER 02378cam a22004574a 4500

001 ssj0000323218;

003 WaSeSS;

005 20240512155341.0;

006 m d ;

007 cr n ;

008 031112s2003 gw a sb 101 0 eng d;

010 a| 2003065503;

020 a| 3540205276 (alk. paper);

035 a| (WaSeSS)ssj0000323218;

040 a| DLCc| DLCd| DLCd| WaSeSS;

042 a| pcc;

049 a| EREEa| NEHH;

050 00 a| QA76.758b| F67 2003;

082 00 a| 005.12| 22;

245 00 a| Formal methods at the crossroadsh| [electronic resource] :b| from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers /c| Bernhard K. Aichernig, Tom Maibaum (eds.).;

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

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

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

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| Software engineeringv| Congresses.=| ^A224279;

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

700 1 a| Aichernig, Bernhard K.,d| 1969-=| ^A574572;

700 1 a| Maibaum, Thomas S. E.,d| 1947-=| ^A454041;

710 2 a| International Institute for Software Technology.=| ^A574573;

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-20527-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%2Fb11934;

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

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

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

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

Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers / Bernhard K. Aichernig, Tom Maibaum (eds.).

Other author	Aichernig, Bernhard K., 1969-
Other author	Maibaum, Thomas S. E., 1947-
Other author	International Institute for Software Technology.
Format	Electronic
Publication Info	Berlin ; New York : Springer-Verlag,
Description	xiv, 453 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	Software engineering--Congresses.

Series	Lecture notes in computer science ; 2757
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	2003065503
ISBN	3540205276 (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

Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers / Bernhard K. Aichernig, Tom Maibaum (eds.).

Click here for more information about this title

Availability