Tools

LEADER 03494cam 22006617a 4500

001 ssj0000745959;

003 WaSeSS;

005 20240512155341.0;

006 m d ;

007 cr n ;

008 120705s2012 gw a sb 101 0 eng d;

010 a| 2012943602;

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

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

020 z| 9783642324697;

020 z| 364232469X;

035 a| (WaSeSS)ssj0000745959;

042 a| lccopycat;

049 a| EREEa| NEHH;

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

111 2 a| International Workshop on Formal Methods for Industrial Critical Systemsn| (17th :d| 2012 :c| Paris, France)?| UNAUTHORIZED;

245 10 a| Formal methods for industrial critical systemsh| [electronic resource] :b| 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings /c| Mariëlle Stoelinga, Ralf Pinger (eds.).;

246 30 a| FMICS 2012.;

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

300 a| xiv, 221 p. :b| ill. (some col.) ;c| 24 cm.;

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

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

500 a| International conference proceedings.;

504 a| Includes bibliographical references and author 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 7 a| Computer programsx| Reliability.2| fast;

650 7 a| Computer programsx| Verification.2| fast;

650 7 a| Formal methods (Computer science)2| fast;

650 7 a| Software engineering.2| fast;

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

700 1 a| Stoelinga, Mariëlle.?| UNAUTHORIZED;

700 1 a| Pinger, Ralf.?| UNAUTHORIZED;

773 0 t| Springer - LINK.;

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

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

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

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

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

947 a| (OCoLC)ocn819358571;

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

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

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

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

Formal methods for industrial critical systems 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings / Mariëlle Stoelinga, Ralf Pinger (eds.).

Author/creator	International Workshop on Formal Methods for Industrial Critical Systems
Other author	Stoelinga, Mariëlle.
Other author	Pinger, Ralf.
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xiv, 221 p. : ill. (some col.) ; 24 cm.
Supplemental Content	Full text available from Springer Books
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 2012 English International
Subjects	Formal methods (Computer science)--Congresses. Software engineering--Congresses. Computer programs--Verification. --Congresses. Computer programs--Reliability. --Congresses.

Portion of title	FMICS 2012.
Series	Lecture notes in computer science, 0302-9743 ; 7437. LNCS sublibrary. SL 2, Programming and software engineering. Lecture notes in computer science ; 7437. ^A466336 LNCS sublibrary. SL 2, Programming and software engineering. UNAUTHORIZED
General note	International conference proceedings.
Bibliography note	Includes bibliographical references and author index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
In	Springer - LINK.
Genre/form	Electronic books.
LCCN	2012943602
ISBN	9783642324680 (pbk. : alk. paper)
ISBN	3642324681 (pbk. : alk. paper)

Formal methods for industrial critical systems 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings / Mariëlle Stoelinga, Ralf Pinger (eds.).

Click here for more information about this title