Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Tools and Algorithms for the Construction and Analysis of Systems (Record no. 358368)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 06489nam a22005775i 4500
001 - Контрольный номер
Контрольное поле vtls000484760
005 - Дата корректировки
Контрольное поле 20210922070301.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 140715s2013 gw | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9783642367427
-- 978-3-642-36742-7
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-3-642-36742-7
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000484760
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA76.9.L63
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA76.5913
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA76.63
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UM
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UYF
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM051000
Источник кода bisacsh
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM036000
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 005.1015113
Номер издания 23
100 1# - Автор
Автор Piterman, Nir.
Роль лиц editor.
9 (RLIN) 417386
245 10 - Заглавие
Заглавие Tools and Algorithms for the Construction and Analysis of Systems
Физический носитель [electronic resource] :
Продолж. заглавия 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Ответственность edited by Nir Piterman, Scott A. Smolka.
260 ## - Выходные данные
Место издания Berlin, Heidelberg :
Издательство Springer Berlin Heidelberg :
-- Imprint: Springer,
Дата издания 2013.
300 ## - Физическое описание
Объем XXIV, 646 p. 137 illus.
Иллюстрации/тип воспроизводства online resource.
336 ## - Тип содержимого
Тип содержимого text
Content type code txt
Source rdacontent
337 ## - Средство доступа
Средство доступа computer
Media type code c
Source rdamedia
338 ## - Тип носителя
Тип носителя online resource
Carrier type code cr
Source rdacarrier
490 1# - Серия
Заглавие серии Lecture Notes in Computer Science,
ISSN серии 0302-9743 ;
№ тома 7795
505 0# - Примечание о содержании
Содержание On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients for Probabilistic Automata -- LTL Model Checking of Interval Markov Chains -- Ramsey vs. Lexicographic Termination Proving -- Structural Counter Abstraction -- Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors -- The MathSAT5 SMT Solver -- Formula Preprocessing in MUS Extraction -- Proof Tree Preserving Interpolation -- Asynchronous Multi-core Incremental SAT Solving -- Model-Checking Iterated Games -- PRISM-games: A Model Checker for Stochastic Multi-Player Games -- PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus -- An Overview of the mCRL2 Toolset and Its Recent Advances -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded Model-Checking with Interpolation for Regular Language Constraints -- eVolCheck: Incremental Upgrade Checker for C -- Intertwined Forward-Backward Reachability Analysis Using Interpolants -- An Integrated Specification and Verification Technique or Highly Concurrent Data Structures -- A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems -- Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory -- Synthesis of Circular Compositional Program Proofs via Abduction -- As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty -- Integer Parameter Synthesis for Timed Automata -- LTL Model-Checking for Malware Detection -- Policy Analysis for Self-administrated Role-Based Access Control -- Model Checking Agent Knowledge in Dynamic Access Control Policies -- Frontiers (Graphics and Quantum) Automatic Testing of Real-Time Graphics Systems -- Equivalence Checking of Quantum Protocols -- Encoding Monomorphic and Polymorphic Types -- Deriving Probability Density Functions from Probabilistic Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms -- Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO -- BULL: A Library for Learning Algorithms of Boolean Functions -- AppGuard – Enforcing User Requirements on Android Apps -- Model Checking Database Applications -- Efficient Property Preservation Checking of Model Refinements -- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking -- Competition on Software Verification Second Competition on Software Verification (Summary of SV-COMP 2013) -- CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation (Competition Contribution) -- CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis (Competition Contribution) -- CSeq: A Sequentialization Tool for C (Competition Contribution) -- Handling Unbounded Loops with ESBMC 1.20 (Competition Contribution) -- LLBMC: Improved Bounded Model Checking of C Programs Using LLVM (Competition Contribution) -- Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution) -- Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution (Competition Contribution) -- Threader: A Verifier for Multi-threaded Programs (Competition Contribution) -- UFO: Verification with Interpolants and Abstract Interpretation (Competition Contribution) -- Ultimate Automizer with SMTInterpol (Competition Contribution).
520 ## - Аннотация
Аннотация This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42 papers presented in this volume were carefully reviewed and selected from 172 submissions. They are organized in topical sections named: Markov chains; termination; SAT/SMT; games and synthesis; process algebra; pushdown; runtime verification and model checking; concurrency; learning and abduction; timed automata; security and access control; frontiers (graphics and quantum); functional programs and types; tool demonstrations; explicit-state model checking; Büchi automata; and competition on software verification.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Software engineering.
9 (RLIN) 566225
650 #0 - Тематические рубрики
Основная рубрика Computer software.
9 (RLIN) 303280
650 #0 - Тематические рубрики
Основная рубрика Logic design.
9 (RLIN) 306256
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Logics and Meanings of Programs.
9 (RLIN) 306257
650 24 - Тематические рубрики
Основная рубрика Software Engineering.
9 (RLIN) 566285
650 24 - Тематические рубрики
Основная рубрика Algorithm Analysis and Problem Complexity.
9 (RLIN) 303732
650 24 - Тематические рубрики
Основная рубрика Programming Languages, Compilers, Interpreters.
9 (RLIN) 303287
700 1# - Другие авторы
Другие авторы Smolka, Scott A.
Роль лиц editor.
9 (RLIN) 321117
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer eBooks
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие
Унифицированное заглавие Lecture Notes in Computer Science,
9 (RLIN) 279505
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a>
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-SCS
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-LNC
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 358368

No items available.