Tools

LEADER 04476cam 2200877 a 4500

001 ssj0000296711;

003 WaSeSS;

005 20240512155341.0;

006 m d ;

007 cr n ;

008 090618s2009 gw a sb 101 0 eng d;

010 a| 2009930950;

015 a| 09,N28,00172| dnb;

016 7 a| 9949092412| DE-101;

020 a| 9783642032394 (pbk.);

020 a| 3642032397 (pbk.);

028 52 a| 12711871;

035 a| (WaSeSS)ssj0000296711;

042 a| lccopycat;

049 a| EREEa| NEHH;

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

072 7 a| QA2| lcco;

082 04 a| 004n/a;

084 a| DAT 260f2| stub;

084 a| DAT 343f2| stub;

084 a| SS 48002| rvk;

111 2 a| International Workshop on Formal Methods for Industrial Critical Systemsn| (13th :d| 2008 :c| L'Aquila, Italy)?| UNAUTHORIZED;

245 10 a| Formal methods for industrial critical systemsh| [electronic resource] :b| 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /c| Darren Cofer, Alessandro Fantechi (eds.).;

246 30 a| FMICS 2008;

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

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

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

490 1 a| LNCS sublibrary. SL 2, Programming and software engineering;

500 a| International conference proceedings.;

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| Formal methods (Computer science)v| Congresses.=| ^A422971;

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

650 0 a| Computer programsx| Verificationv| Congresses.=| ^A118080;

650 0 a| Computer programsx| Reliabilityv| Congresses.=| ^A90532;

650 0 a| Computer softwarex| Verificationv| Congresses.=| ^A1146757;

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

650 07 a| Eingebettetes System.2| swd;

650 07 a| Fehlertoleranz.2| swd;

650 07 a| Formale Methode.2| swd;

650 07 a| Model Checking.2| swd;

650 07 a| Programmverifikation.2| swd;

650 07 a| Sicherheitskritisches System.2| swd;

650 07 a| Softwareentwicklung.2| swd;

650 07 a| Softwarespezifikation.2| swd;

650 07 a| Systementwurf.2| swd;

650 07 a| Verifikation.2| swd;

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

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

700 1 a| Cofer, Darren.?| UNAUTHORIZED;

700 1 a| Fantechi, Alessandro.?| UNAUTHORIZED;

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

830 0 a| LNCS sublibrary.n| SL 2p| Programming and software engineering.?| UNAUTHORIZED;

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-03240-0;

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-03240-0;

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-03239-4;

947 a| (OCoLC)ocn428011993;

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

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

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

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

Formal methods for industrial critical systems 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / Darren Cofer, Alessandro Fantechi (eds.).

Author/creator	International Workshop on Formal Methods for Industrial Critical Systems
Other author	Cofer, Darren.
Other author	Fantechi, Alessandro.
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	x, 231 p. : ill. ; 24 cm.
Supplemental Content	Full text available from Springer Nature - Springer Computer Science eBooks 2009 English International
Supplemental Content	Full text available from Springer Books
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Formal methods (Computer science)--Congresses. Software engineering--Congresses. Computer programs--Verification. --Congresses. Computer programs--Reliability. --Congresses. Computer software--Verification. --Congresses. Computer software--Reliability. --Congresses. Programmverifikation--Softwarespezifikation. --Formale Methode. --Zuverlässigkeit. --Kongress. --L'Aquila <2008>. Sicherheitskritisches System--Eingebettetes System. --Softwareentwicklung. --Zuverlässigkeit. --Kongress. --L'Aquila <2008>. Softwareentwicklung--Zuverlässigkeit. --Fehlertoleranz. --Formale Methode. --Kongress. --L'Aquila <2008>. Systementwurf--Model Checking. --Verifikation. --Formale Methode. --Kongress. --L'Aquila <2008>.

Portion of title	FMICS 2008
Series	Lecture notes in computer science, 0302-9743 ; 5596 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 5596. ^A466336 LNCS sublibrary. SL 2 Programming and software engineering. UNAUTHORIZED
General note	International conference proceedings.
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	2009930950
ISBN	9783642032394 (pbk.)
ISBN	3642032397 (pbk.)
Publisher number	12711871

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Online Content 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 Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)	✔ Available

Formal methods for industrial critical systems 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / Darren Cofer, Alessandro Fantechi (eds.).

Click here for more information about this title

Availability