Catalog

Record Details

Catalog Search


Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings Cover Image E-book E-book

Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings / edited by Mariëlle Stoelinga, Ralf Pinger.

Stoelinga, Mariëlle. (editor.). Pinger, Ralf. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642324697
  • Physical Description: XIV, 223 p. 87 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2012.

Search for related items by subject

Subject: Computer science.
Software engineering.
Logic design.
Information systems.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Special Purpose and Application-Based Systems.
Computer Appl. in Administrative Data Processing.
Computation by Abstract Devices.

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01873nam a22004575i 4500
00133575
003CONS
00520130727055759.0
007cr nn 008mamaa
008120821s2012 gw | s |||| 0|eng d
020 . ‡a9783642324697 ‡9978-3-642-32469-7
0247 . ‡a10.1007/978-3-642-32469-7 ‡2doi
035 . ‡a(DE-He213)978-3-642-32469-7
050 4. ‡aQA76.758
072 7. ‡aUMZ ‡2bicssc
072 7. ‡aCOM051230 ‡2bisacsh
1001 . ‡aStoelinga, Mariëlle. ‡eeditor.
24510. ‡aFormal Methods for Industrial Critical Systems ‡h[electronic resource] : ‡b17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings / ‡cedited by Mariëlle Stoelinga, Ralf Pinger.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg : ‡bImprint: Springer, ‡c2012.
300 . ‡aXIV, 223 p. 87 illus. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7437
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aLogic design.
650 0. ‡aInformation systems.
65014. ‡aComputer Science.
65024. ‡aSoftware Engineering.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aSpecial Purpose and Application-Based Systems.
65024. ‡aComputer Appl. in Administrative Data Processing.
65024. ‡aComputation by Abstract Devices.
7001 . ‡aPinger, Ralf. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642324680
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7437
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-32469-7 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a33575 ‡b ‡c33575 ‡tbiblio ‡sSystem Local

Additional Resources