000 03965nam a22005775i 4500
001 vtls000485176
003 RU-ToGU
005 20210922070317.0
007 cr nn 008mamaa
008 140715s2013 gw | s |||| 0|eng d
020 _a9783642397189
_9978-3-642-39718-9
024 7 _a10.1007/978-3-642-39718-9
_2doi
035 _ato000485176
040 _aSpringer
_cSpringer
_dRU-ToGU
050 4 _aQA76.9.L63
050 4 _aQA76.5913
050 4 _aQA76.63
072 7 _aUM
_2bicssc
072 7 _aUYF
_2bicssc
072 7 _aCOM051000
_2bisacsh
072 7 _aCOM036000
_2bisacsh
082 0 4 _a005.1015113
_223
100 1 _aLiu, Zhiming.
_eeditor.
_9323952
245 1 0 _aTheoretical Aspects of Computing – ICTAC 2013
_h[electronic resource] :
_b10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
_cedited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.
260 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2013.
300 _aXII, 445 p. 100 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8049
505 0 _aStochastic Pi-calculus Revisited -- A Clock-Based Framework for Construction of Hybrid Systems -- Advances in Quantitative Verification for Ubiquitous Computing -- Mobile Membranes: Computability and Complexity -- Cruise Control in Hybrid Event-B -- From Distributions to Probabilistic Reactive Programs -- Hol-TestGen/fw: An Environment for Specification-Based Firewall Conformance Testing -- Random Walks on Some Basic Classes of Digraphs -- A Probabilistic Logic for pTiMo -- An Interface Model of Software Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type Checking in Dynamically Typed Languages -- On Refinements of Boolean and Parametric Modal Transition Systems -- Proof Theory of a Multi-Lane Spatial Logic -- Counterexample-Preserving Reduction for Symbolic Model Checking -- A Transformation from p-pi to MSVL -- On Slicing of Programs with Input Statements -- Deterministic Logics for UL -- Finitary Fairness in Action Systems -- Spatio-temporal Hybrid Automata for Cyber-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts in Circus Time -- A Proof System in PADS -- Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures -- Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration.
520 _aThis book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
650 0 _aComputer Science.
_9155490
650 0 _aSoftware engineering.
_9566225
650 0 _aLogic design.
_9306256
650 0 _aArtificial intelligence.
_9274099
650 1 4 _aComputer Science.
_9155490
650 2 4 _aLogics and Meanings of Programs.
_9306257
650 2 4 _aSoftware Engineering.
_9566285
650 2 4 _aArtificial Intelligence (incl. Robotics).
_9274102
700 1 _aWoodcock, Jim.
_eeditor.
_9326272
700 1 _aZhu, Huibiao.
_eeditor.
_9417456
710 2 _aSpringerLink (Online service)
_9143950
773 0 _tSpringer eBooks
830 0 _aLecture Notes in Computer Science,
_9279505
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-39718-9
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c358456