Tools

LEADER 02379cam 22005297a 4500

001 ssj0000317708;

003 WaSeSS;

005 20200412081236.0;

006 m d ;

007 cr n ;

008 080228s2008 gw a sb 101 0 eng d;

010 a| 2008923977;

016 7 a| 9878164702| GyFmDB;

020 a| 9783540789161 (pbk.);

020 a| 3540789162 (pbk.);

035 a| (WaSeSS)ssj0000317708;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA76.9.F67b| F63 2008;

072 7 a| QA2| lcco;

082 00 a| 005.1/42| 22;

245 00 a| Formal methods and testingh| [electronic resource] :b| an outcome of the FORTEST network : revised selected papers /c| Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.).;

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

300 a| xi, 366 p. :b| ill. ;c| 24 cm.;

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

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| Formal methods (Computer science)=| ^A446919;

650 0 a| Computer softwarex| Testing.=| ^A155860;

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

700 1 a| Hierons, Robert M.=| ^A872383;

700 1 a| Bowen, J. P.q| (Jonathan Peter),d| 1956-=| ^A369260;

700 1 a| Harman, Mark.=| ^A160670;

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-78916-1;

947 a| (OCoLC)ocn225872006;

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

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

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

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

Formal methods and testing an outcome of the FORTEST network : revised selected papers / Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.).

Other author	Hierons, Robert M.
Other author	Bowen, J. P. (Jonathan Peter), 1956-
Other author	Harman, Mark.
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xi, 366 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Formal methods (Computer science) Computer software--Testing.

Series	Lecture notes in computer science, 0302-9743 ; 4949 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	2008923977
ISBN	9783540789161 (pbk.)
ISBN	3540789162 (pbk.)

Availability

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

Formal methods and testing an outcome of the FORTEST network : revised selected papers / Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.).

Click here for more information about this title

Availability