LEADER 03561nam  22006615  450 
001 996217774403316
005 20200703124108.0
010   $a3-662-43613-2
024 7 $a10.1007/978-3-662-43613-4
035   $a(CKB)3710000000119219
035   $a(DE-He213)978-3-662-43613-4
035   $a(SSID)ssj0001242800
035   $a(PQKBManifestationID)11670769
035   $a(PQKBTitleCode)TC0001242800
035   $a(PQKBWorkID)11261992
035   $a(PQKB)10533054
035   $a(MiAaPQ)EBC3096908
035   $a(PPN)178782874
035   $a(EXLCZ)993710000000119219
100   $a20140520d2014      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Techniques for Distributed Objects, Components, and Systems$b[electronic resource] $e34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings /$fedited by Erika Ábrahám, Catuscia Palamidessi
205   $a1st ed. 2014.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014.
215   $a1 online resource (XII, 301 p. 75 illus.) 
225 1 $aProgramming and Software Engineering ;$v8461
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-662-43612-4 
327   $aSpecification Languages and Type Systems -- Monitoring and Testing -- Security Analysis -- Bisimulation, Abstraction and Reduction.
330   $aThis book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.
410  0$aProgramming and Software Engineering ;$v8461
606   $aComputer logic
606   $aSoftware engineering
606   $aComputers
606   $aMathematical logic
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aComputers.
615  0$aMathematical logic.
615 14$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aComputation by Abstract Devices.
615 24$aMathematical Logic and Formal Languages.
676   $a005.1015113
702   $aÁbrahám$b Erika$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPalamidessi$b Catuscia$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996217774403316
996   $aFormal Techniques for Distributed Objects, Components, and Systems$91905204
997   $aUNISA