LEADER 04068nam  22007935  450 
001 996465420503316
005 20220423010033.0
010   $a3-642-21437-1
024 7 $a10.1007/978-3-642-21437-0
035   $a(CKB)2670000000095854
035   $a(SSID)ssj0000530656
035   $a(PQKBManifestationID)11335418
035   $a(PQKBTitleCode)TC0000530656
035   $a(PQKBWorkID)10568127
035   $a(PQKB)11492121
035   $a(DE-He213)978-3-642-21437-0
035   $a(MiAaPQ)EBC3066870
035   $a(PPN)153861118
035   $a(EXLCZ)992670000000095854
100   $a20110618d2011      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFM 2011: Formal Methods$b[electronic resource] $e17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings /$fedited by Michael Butler, Wolfram Schulte
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XIV, 450 p. 110 illus., 27 illus. in color.)
225 1 $aProgramming and Software Engineering ;$v6664
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-21436-3 
320   $aIncludes bibliographical references and index.
327   $aModel integration and cyber physical systems: a semantics perspective / Janos Sztipanovits -- Some thoughts on behavioral programming / David Harel.
330   $aThis book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
410  0$aProgramming and Software Engineering ;$v6664
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aMathematical logic
606   $aManagement information systems
606   $aComputer science
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615  0$aMathematical logic.
615  0$aManagement information systems.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
615 24$aMathematical Logic and Formal Languages.
615 24$aManagement of Computing and Information Systems.
676   $a005.1
702   $aButler$b Michael$f1967-$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSchulte$b Wolfram$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465420503316
996   $aFM 2011: Formal Methods$92830298
997   $aUNISA