- 5 Résultats
prix le plus bas: € 31,93, prix le plus élevé: € 58,89, prix moyen: € 43,56
1
Tools and Algorithms for the Construction and Analysis of Systems : 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 - Scott Smolka
Commander
sur AbeBooks.de
€ 58,89
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Scott Smolka:

Tools and Algorithms for the Construction and Analysis of Systems : 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 - Livres de poche

2013, ISBN: 3642367410

[EAN: 9783642367410], Neubuch, [PU: Springer Berlin Heidelberg], LTL; SMTSOLVER; PROBABILISTICAUTOMATA; ROLE-BASEDACCESSCONTROL; SOFTWAREVERIFICATION; ALGORITHMANALYSISANDPROBLEMCOMPLEXIT… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
fermer(X)
2
Tools and Algorithms for the Construction and Analysis of Systems - Scott Smolka
Commander
sur booklooker.de
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Scott Smolka:

Tools and Algorithms for the Construction and Analysis of Systems - Livres de poche

2020, ISBN: 9783642367410

[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and … Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) AHA-BUCH GmbH
fermer(X)
3
Tools and Algorithms for the Construction and Analysis of Systems - Herausgegeben:Piterman, Nir; Smolka, Scott
Commander
sur booklooker.de
€ 40,99
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Herausgegeben:Piterman, Nir; Smolka, Scott:
Tools and Algorithms for the Construction and Analysis of Systems - Livres de poche

2013

ISBN: 9783642367410

[ED: Softcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
fermer(X)
4
Commander
sur AbeBooks.de
€ 31,93
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Piterman, Nir und Scott Smolka:
Tools and Algorithms for the Construction and Analysis of Systems 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 - Livres de poche

2013, ISBN: 3642367410

[EAN: 9783642367410], Gebraucht, guter Zustand, [PU: Springer Berlin], PROBABILISTIC AUTOMATA,ROLE-BASED ACCESS CONTROL,SMT SOLVER,ALGORITHM ANALYSIS AND PROBLEM COMPLEXITY,LTL,SOFTWARE V… Plus…

NOT NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
fermer(X)
5
Tools and Algorithms for the Construction and Analysis of Systems 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 - Piterman, Nir und Scott Smolka
Commander
sur booklooker.de
€ 32,48
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Piterman, Nir und Scott Smolka:
Tools and Algorithms for the Construction and Analysis of Systems 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 - livre d'occasion

2013, ISBN: 9783642367410

[PU: Springer Berlin], Buchschnitt verkürzt- gepflegter, sauberer Zustand - Ausgabejahr 2013 23456091/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2013, Banküberweisung,… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Tools and Algorithms for the Construction and Analysis of Systems
Auteur:
Titre:
ISBN:

9783642367410


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.

Informations détaillées sur le livre - Tools and Algorithms for the Construction and Analysis of Systems


EAN (ISBN-13): 9783642367410
ISBN (ISBN-10): 3642367410
Version reliée
Livre de poche
Date de parution: 2013
Editeur: Springer Berlin

Livre dans la base de données depuis 2014-03-26T17:15:35+01:00 (Paris)
Page de détail modifiée en dernier sur 2024-02-13T15:43:12+01:00 (Paris)
ISBN/EAN: 9783642367410

ISBN - Autres types d'écriture:
3-642-36741-0, 978-3-642-36741-0
Autres types d'écriture et termes associés:
Auteur du livre: scott, pit, smolka, nir
Titre du livre: analysis systems, the tools, algorithms part, international conference software, systems art, theory construction, march, proceedings construction

Données de l'éditeur

Auteur: Nir Piterman; Scott Smolka
Titre: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Tools and Algorithms for the Construction and Analysis of Systems - 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
Editeur: Springer; Springer Berlin
646 Pages
Date de parution: 2013-02-20
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XXIV, 646 p. 137 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; LTL; SMT solver; probabilistic automata; role-based access control; software verification; algorithm analysis and problem complexity; Computer Science Logic and Foundations of Programming; Software Engineering; Algorithms; Compilers and Interpreters; Software Engineering; Algorithmen und Datenstrukturen; Compiler und Übersetzer; EA

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).
Up-to-date results in tools and algorithms for the construction and analysis of systems Fast-track conference proceedings State-of-the-art research
< pour archiver...