Tools

LEADER 02523cam a22005537a 4500

001 ssj0000320344;

003 WaSeSS;

005 20200412081236.0;

006 m d ;

007 cr n ;

008 080303s2008 gw a sb 101 0 eng d;

010 a| 2008924177;

016 7 a| 9879731772| GyFmDB;

020 a| 9783540791232 (pbk. : alk. paper);

020 a| 354079123X (pbk. : alk. paper);

035 a| (WaSeSS)ssj0000320344;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA76.76.T48b| T37 2008;

072 7 a| QA2| lcco;

082 00 a| 005.1/42| 22;

111 2 a| TAP 2008d| (2008 :c| Prato, Italy)?| UNAUTHORIZED;

245 10 a| Tests and proofsh| [electronic resource] :b| second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /c| Bernhard Beckert, Reiner Hähnle (eds.).;

246 30 a| TAP 2008;

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

300 a| x, 191 p. :b| ill. ;c| 24 cm.;

440 0 a| Lecture notes in computer science,x| 0302-9743 ;v| 4966;

440 0 a| LNCS sublibrary.n| SL 2,p| Programming and software engineering;

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| Computer softwarex| Testingv| Congresses.=| ^A1236897;

650 0 a| Computer softwarex| Reliabilityv| Congresses.=| ^A428561;

650 0 a| Computer softwarex| Quality controlv| Congresses.=| ^A1236895;

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

700 1 a| Beckert, Bernhard.=| ^A608294;

700 1 a| Hähnle, Reiner.=| ^A370975;

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-79123-2;

947 a| (OCoLC)ocn221131123;

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

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

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

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

Tests and proofs second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / Bernhard Beckert, Reiner Hähnle (eds.).

Author/creator	TAP 2008
Other author	Beckert, Bernhard.
Other author	Hähnle, Reiner.
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	x, 191 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Computer software--Testing. --Congresses. Computer software--Reliability. --Congresses. Computer software--Quality control. --Congresses.

Portion of title	TAP 2008
Series	Lecture notes in computer science, 0302-9743 ; 4966 LNCS sublibrary. SL 2, Programming and software engineering
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	2008924177
ISBN	9783540791232 (pbk. : alk. paper)
ISBN	354079123X (pbk. : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Tests and proofs second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / Bernhard Beckert, Reiner Hähnle (eds.).

Click here for more information about this title

Availability