LEADER 04387nam  2200709Ia 450 
001 9910484926703321
005 20200520144314.0
010   $a1-280-38817-X
010   $a9786613566096
010   $a3-642-14808-5
024 7 $a10.1007/978-3-642-14808-8
035   $a(CKB)2670000000036356
035   $a(SSID)ssj0000446827
035   $a(PQKBManifestationID)11318386
035   $a(PQKBTitleCode)TC0000446827
035   $a(PQKBWorkID)10504736
035   $a(PQKB)11377995
035   $a(DE-He213)978-3-642-14808-8
035   $a(MiAaPQ)EBC3065694
035   $a(PPN)149018436
035   $a(EXLCZ)992670000000036356
100   $a20100825d2010      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTheoretical aspects of computing--ICTAC 2010 $e7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings /$fAna Cavalcanti ... [et al.] (eds.)
205   $a1st ed. 2010.
210   $aBerlin $cSpringer$d2010
215   $a1 online resource (XIII, 397 p. 60 illus.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v6255
225 1 $aLNCS sublibrary. SL 1, Theoretical computer science and general issues
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-14807-7 
320   $aIncludes bibliographical references and index.
327   $aInvited Papers and Abstract -- Invariants and Well-Foundedness in Program Algebra -- A Theory of Software Product Line Refinement -- The TLA?+? Proof System: Building a Heterogeneous Verification Platform -- Grammars -- Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules -- Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution -- Tracking Down the Origins of Ambiguity in Context-Free Grammars -- Semantics -- Prioritized slotted-Circus -- A Denotational Semantical Model for Orc Language -- An Extended cCSP with Stable Failures Semantics -- Preference and Non-deterministic Choice -- Modelling -- Material Flow Abstraction of Manufacturing Systems -- Specification and Verification of a MPI Implementation for a MP-SoC -- Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software -- Testing of Abstract Components -- Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform -- Analyzing a Formal Specification of Mondex Using Model Checking -- Formal Modelling of Separation Kernel Components -- Mechanized Verification with Sharing -- Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking -- Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements -- Logics -- Complete Calculi for Structured Specifications in Fork Algebra -- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting -- Characterizing Locality (Encapsulation) with Bisimulation -- Justification Logic and History Based Computation -- Algorithms and Types -- A Class of Greedy Algorithms and Its Relation to Greedoids -- On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types -- A Modality for Safe Resource Sharing and Code Reentrancy.
410  0$aLecture notes in computer science ;$v6255.
410  0$aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues.
517 3 $aICTAC 2010
517 3 $aInternational Colloquium on Theoretical Aspects of Computing
517 3 $a7th International Colloquium on Theoretical Aspects of Computing
606   $aFormal methods (Computer science)$vCongresses
606   $aComputer science$xMathematics$vCongresses
606   $aComputer programming$vCongresses
606   $aElectronic data processing$vCongresses
606   $aInformation theory$vCongresses
615  0$aFormal methods (Computer science)
615  0$aComputer science$xMathematics
615  0$aComputer programming
615  0$aElectronic data processing
615  0$aInformation theory
676   $a003./54
701   $aCavalcanti$b Ana$01736503
712 12$aICTAC 2010
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484926703321
996   $aTheoretical aspects of computing--ICTAC 2010$94193154
997   $aUNINA