000 03092nam a22005655i 4500
001 978-3-662-43613-4
003 DE-He213
005 20240730195303.0
007 cr nn 008mamaa
008 140520s2014 gw | s |||| 0|eng d
020 _a9783662436134
_9978-3-662-43613-4
024 7 _a10.1007/978-3-662-43613-4
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aFormal Techniques for Distributed Objects, Components, and Systems
_h[electronic resource] :
_b34th 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 /
_cedited by Erika Ábrahám, Catuscia Palamidessi.
250 _a1st ed. 2014.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2014.
300 _aXII, 301 p. 75 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v8461
505 0 _aSpecification Languages and Type Systems -- Monitoring and Testing -- Security Analysis -- Bisimulation, Abstraction and Reduction.
520 _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.
650 0 _aComputer science.
_99832
650 0 _aSoftware engineering.
_94138
650 0 _aMachine theory.
_9159751
650 1 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aTheory of Computation.
_9159752
650 2 4 _aFormal Languages and Automata Theory.
_9159753
700 1 _aÁbrahám, Erika.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9159754
700 1 _aPalamidessi, Catuscia.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9159755
710 2 _aSpringerLink (Online service)
_9159756
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783662436127
776 0 8 _iPrinted edition:
_z9783662436141
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v8461
_9159757
856 4 0 _uhttps://doi.org/10.1007/978-3-662-43613-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95559
_d95559