LEADER 03743nam  22007455  450 
001 996200021203316
005 20200706025648.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$b[electronic resource] $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 ;$v9039
300   $aBibliographic Level Mode of Issuance: Monograph
311   $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 ;$v9039
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   $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   $a996200021203316
996   $aFormal Techniques for Distributed Objects, Components, and Systems$91905204
997   $aUNISA