LEADER 03399nam  22007215  450 
001 9910483815003321
005 20251226200147.0
010   $a3-319-19195-0
024 7 $a10.1007/978-3-319-19195-9
035   $a(CKB)3710000000416863
035   $a(SSID)ssj0001501478
035   $a(PQKBManifestationID)11830599
035   $a(PQKBTitleCode)TC0001501478
035   $a(PQKBWorkID)11456995
035   $a(PQKB)11487952
035   $a(DE-He213)978-3-319-19195-9
035   $a(MiAaPQ)EBC6296987
035   $a(MiAaPQ)EBC5587461
035   $a(Au-PeEL)EBL5587461
035   $a(OCoLC)909024887
035   $a(PPN)186029764
035   $a(EXLCZ)993710000000416863
100   $a20150505d2015      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Techniques for Distributed Objects, Components, and Systems $e35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /$fedited by Susanne Graf, Mahesh Viswanathan
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XII, 245 p. 47 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v9039
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-319-19194-2 
320   $aIncludes bibliographical references and index.
327   $aEnsuring Properties of Distributed Systems -- Formal Models of Concurrent and Distributed Systems -- Real Time Systems -- Security -- Efficient Verification Techniques.
330   $aThis book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v9039
606   $aComputer science
606   $aSoftware engineering
606   $aMachine theory
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aTheory of Computation
606   $aFormal Languages and Automata Theory
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aMachine theory.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aTheory of Computation.
615 24$aFormal Languages and Automata Theory.
676   $a004.36
702   $aGraf$b Susanne$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aViswanathan$b Mahesh$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483815003321
996   $aFormal Techniques for Distributed Objects, Components, and Systems$92880511
997   $aUNINA