Tools

LEADER 02523cam 22004814a 4500

001 ssj0000311642;

003 WaSeSS;

005 20200412081236.0;

006 m d ;

007 cr n ;

008 070131s2007 gw a sb 101 0 eng d;

010 a| 2007922076;

020 a| 9783540712084 (soft cover : alk. paper);

020 a| 3540712089 (soft cover : alk. paper);

035 a| (WaSeSS)ssj0000311642;

040 a| DLCc| DLCd| DLCd| WaSeSS;

049 a| EREEa| NEHH;

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

111 2 a| TACAS 2007d| (2007 :c| Braga, Portugal)?| UNAUTHORIZED;

245 10 a| Tools and algorithms for the construction and analysis of systemsh| [electronic resource] :b| 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /c| Orna Grumberg, Michael Huth (eds.).;

246 30 a| Joint European Conferences on Theory and Practice of Software;

246 1 i| Added title on cover:a| European Joint Conferences on Theory and Practice of Software 2007;

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

300 a| xx, 738 p. :b| ill. ;c| 24 cm.;

490 0 a| Lecture notes in computer science ;v| 4424;

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 designv| Congresses.=| ^A121730;

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

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

700 1 a| Grumberg, Orna.=| ^A396883;

700 1 a| Huth, Michael,d| 1962-=| ^A1159714;

711 2 a| ETAPS 2007d| (2007 :c| Braga, 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-71208-4;

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

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

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

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

Tools and algorithms for the construction and analysis of systems 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Orna Grumberg, Michael Huth (eds.).

Author/creator	TACAS 2007
Other author	Grumberg, Orna.
Other author	Huth, Michael, 1962-
Other author	ETAPS 2007 (2007 : Braga, Portugal)
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xx, 738 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	System design--Congresses. Computer software--Development. --Congresses.

Portion of title	Joint European Conferences on Theory and Practice of Software
Variant title	Added title on cover: European Joint Conferences on Theory and Practice of Software 2007
Series	Lecture notes in computer science ; 4424
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	2007922076
ISBN	9783540712084 (soft cover : alk. paper)
ISBN	3540712089 (soft cover : alk. paper)

Tools and algorithms for the construction and analysis of systems 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Orna Grumberg, Michael Huth (eds.).

Click here for more information about this title