000 04099nam a22005655i 4500
001 978-3-642-39718-9
003 DE-He213
005 20240730185751.0
007 cr nn 008mamaa
008 130830s2013 gw | s |||| 0|eng d
020 _a9783642397189
_9978-3-642-39718-9
024 7 _a10.1007/978-3-642-39718-9
_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 _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.
250 _a1st ed. 2013.
264 1 _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
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_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.
_99832
650 0 _aSoftware engineering.
_94138
650 0 _aArtificial intelligence.
_93407
650 1 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aArtificial Intelligence.
_93407
700 1 _aLiu, Zhiming.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9140460
700 1 _aWoodcock, Jim.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9140461
700 1 _aZhu, Huibiao.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9140462
710 2 _aSpringerLink (Online service)
_9140463
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642397172
776 0 8 _iPrinted edition:
_z9783642397196
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v8049
_9140464
856 4 0 _uhttps://doi.org/10.1007/978-3-642-39718-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c92976
_d92976