Tools

LEADER 03807cam a22007457a 4500

001 ssj0000399496;

003 WaSeSS;

005 20240512155341.0;

006 m d ;

007 cr n ;

008 100203s2010 gw a sb 101 0 eng d;

010 a| 2010921913;

015 a| 10,A132| dnb;

016 7 a| 10002519932| DE-101;

020 a| 9783642120015 (pbk. : acid-free paper);

020 a| 3642120016 (pbk. : acid-free paper);

028 52 a| 80011160;

035 a| (WaSeSS)ssj0000399496;

042 a| lccopycat;

049 a| EREEa| NEHH;

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

072 7 a| QA2| lcco;

082 04 a| 005.122| 22/ger;

084 a| DAT 310f2| stub;

084 a| DAT 500f2| stub;

084 a| SS 48002| rvk;

111 2 a| TACAS 2010d| (2010 :c| Paphos, Cyprus)?| UNAUTHORIZED;

245 10 a| Tools and algorithms for the construction and analysis of systemsh| [electronic resource] :b| 16th international conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /c| Javier Esparza, Rupak Majumdar (eds.).;

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

300 a| xvi, 468 p. :b| ill. ;c| 24 cm.;

490 1 a| Lecture notes in computer science,x| 0302-9743 ;v| 6015;

490 1 a| Advanced research in computing and software science;

490 1 a| LNCS sublibrary: SL 1-theoretical computer science and general issues;

504 a| Includes bibliographical references and index.;

506 a| Available only to authorized users.;

530 a| Also issued online.;

538 a| Mode of access: World Wide Web;

650 0 a| System designv| Congresses.=| ^A121730;

650 0 a| System analysisv| Congresses.=| ^A51061;

650 0 a| Computer softwarex| Developmentv| Congresses.=| ^A191775;

650 07 a| Model Checking.2| swd;

650 07 a| Programmanalyse.2| swd;

650 07 a| Softwareentwicklung.2| swd;

650 07 a| Systementwicklung.2| swd;

650 07 a| Theoretische Informatik.2| swd;

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

700 1 a| Esparza, Javier.=| ^A363571;

700 1 a| Majumdar, Rupak.?| UNAUTHORIZED;

711 2 a| ETAPS 2010d| (2010 :c| Paphos, Cyprus)?| UNAUTHORIZED;

830 0 a| Lecture notes in computer science ;v| 6015.=| ^A466336;

830 0 a| Lecture notes in computer science.p| Advanced research in computing and software science.?| UNAUTHORIZED;

830 0 a| LNCS sublibrary.n| SL 1p| Theoretical computer science and general issues.?| UNAUTHORIZED;

856 40 z| Full text available from Springer Nature - Springer Computer Science eBooks 2010 English Internationalu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F978-3-642-12002-2;

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-642-12001-5;

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%2F978-3-642-12002-2;

947 a| (OCoLC)ocn586999181;

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

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

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

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

Tools and algorithms for the construction and analysis of systems 16th international conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / Javier Esparza, Rupak Majumdar (eds.).

Author/creator	TACAS 2010
Other author	Esparza, Javier.
Other author	Majumdar, Rupak.
Other author	ETAPS 2010 (2010 : Paphos, Cyprus)
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xvi, 468 p. : ill. ; 24 cm.
Supplemental Content	Full text available from Springer Nature - Springer Computer Science eBooks 2010 English International
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. System analysis--Congresses. Computer software--Development. --Congresses.

Series	Lecture notes in computer science, 0302-9743 ; 6015 Advanced research in computing and software science LNCS sublibrary: SL 1-theoretical computer science and general issues Lecture notes in computer science ; 6015. ^A466336 Lecture notes in computer science. Advanced research in computing and software science. UNAUTHORIZED LNCS sublibrary. SL 1 Theoretical computer science and general issues. UNAUTHORIZED
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Other forms	Also issued online.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2010921913
ISBN	9783642120015 (pbk. : acid-free paper)
ISBN	3642120016 (pbk. : acid-free paper)
Publisher number	80011160

Availability

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

Tools and algorithms for the construction and analysis of systems 16th international conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / Javier Esparza, Rupak Majumdar (eds.).

Click here for more information about this title

Availability