Tools

LEADER 04018cam 22007937a 4500

001 ssj0000355502;

003 WaSeSS;

005 20240512155341.0;

006 m d ;

007 cr n ;

008 091006s2009 gw a sb 101 0 eng d;

010 a| 2009938641;

015 a| 09,N44,00222| dnb;

016 7 a| 9974332132| DE-101;

020 a| 9783642103728 (pbk.);

020 a| 3642103723 (pbk.);

028 52 a| 12796106;

035 a| (WaSeSS)ssj0000355502;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA76.9.F67b| I5788 2009;

082 04 a| 004n/a;

084 a| DAT 310f2| stub;

084 a| DAT 510f2| stub;

084 a| SS 48002| rvk;

111 2 a| International Conference on Formal Engineering Methodsn| (11th :d| 2009 :c| Rio de Janeiro, Brazil)?| UNAUTHORIZED;

245 10 a| Formal methods and software engineeringh| [electronic resource] :b| 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings /c| Karin Breitman, Ana Cavalcanti (eds.).;

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

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

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

490 1 a| LNCS sublibrary: SL 2-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)v| Congresses.=| ^A422971;

650 0 a| Software engineeringv| Congresses.=| ^A224279;

650 4 a| Programmanalysex| Model Checkingv| Kongressz| Rio de Janeiro <2009>;

650 4 a| Programmtestx| Formale Methodev| Kongressz| Rio de Janeiro <2009>;

650 4 a| Softwareentwicklungx| Formale Methodev| Kongressz| Rio de Janeiro <2009>;

650 07 a| Fehlertoleranz.2| swd;

650 07 a| Formale Methode.2| swd;

650 07 a| Model Checking.2| swd;

650 07 a| Programmanalyse.2| swd;

650 07 a| Programmtest.2| swd;

650 07 a| Softwareentwicklung.2| swd;

650 07 a| Systementwicklung.2| swd;

650 07 a| Verifikation.2| swd;

650 07 a| Zuverlässigkeit.2| swd;

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

700 1 a| Breitman, K. K.q| (Karin K.)?| UNAUTHORIZED;

700 1 a| Cavalcanti, Ana.=| ^A706254;

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

830 0 a| LNCS sublibrary.n| SL 2p| Programming and software engineering.?| 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-642-10372-8;

856 40 z| Full text available from Springer Nature - Springer Computer Science eBooks 2009 English Internationalu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F978-3-642-10373-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-10373-5;

947 a| (OCoLC)ocn471672152;

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

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

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

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

Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / Karin Breitman, Ana Cavalcanti (eds.).

Author/creator	International Conference on Formal Engineering Methods
Other author	Breitman, K. K. (Karin K.)
Other author	Cavalcanti, Ana.
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xiv, 758 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 Nature - Springer Computer Science eBooks 2009 English International
Supplemental Content	Full text available from Springer Books
Subjects	Formal methods (Computer science)--Congresses. Software engineering--Congresses. Programmanalyse--Model Checking. --Kongress. --Rio de Janeiro <2009>. Programmtest--Formale Methode. --Kongress. --Rio de Janeiro <2009>. Softwareentwicklung--Formale Methode. --Kongress. --Rio de Janeiro <2009>. Softwareentwicklung--Verifikation. --Formale Methode. --Kongress. --Rio de Janeiro <2009>. Systementwicklung--Zuverlässigkeit. --Fehlertoleranz. --Kongress. --Rio de Janeiro <2009>.

Series	Lecture notes in computer science, 0302-9743 ; 5885 LNCS sublibrary: SL 2-programming and software engineering Lecture notes in computer science ; 5885. ^A466336 LNCS sublibrary. SL 2 Programming and software engineering. 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	2009938641
ISBN	9783642103728 (pbk.)
ISBN	3642103723 (pbk.)
Publisher number	12796106

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 Nature - Springer Computer Science eBooks 2009 English International Full text available from Springer Nature - Springer Computer Science eBooks 2009 English International	✔ Available

Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / Karin Breitman, Ana Cavalcanti (eds.).

Click here for more information about this title

Availability