Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings - Livres de poche
2009, ISBN: 3642007678
[EAN: 9783642007675], Neubuch, [PU: Springer Berlin Heidelberg], ALGORITHMUS; EDV / THEORIE SOFTWARE-ENTW. ALLGEMEINES; SATSOLVERS; ALGORITHM; BIOLOGICALSYSTEMS; COMMUNICATIONSPROTOCOLS; … Plus…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Details... |
Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings - nouveau livre
2009, ISBN: 3642007678
2009 Kartoniert / Broschiert Algorithmus, EDV / Theorie / Software-Entw. / Allgemeines, Computerprogrammierung und Softwareentwicklung, Software Engineering, Theoretische Informatik, SA… Plus…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings - Première édition
2009, ISBN: 3642007678
Livres de poche
[EAN: 9783642007675], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], COMMUNICATIONS PROTOCOLS,HEURISTICS,SOFTWARE ENGINEERING,THEOREM PROVING,ALGORITHMS,STATIC ANALYSIS,VERIF… Plus…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Details... |
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings - Livres de poche
2009, ISBN: 9783642007675
Paperback / softback. New. This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS… Plus…
Biblio.co.uk |
2009, ISBN: 9783642007675
*Tools and Algorithms for the Construction and Analysis of Systems* - 15th International Conference TACAS 2009 Held as Part of the Joint European Conferences on Theory and Practice of Sof… Plus…
Hugendubel.de 3642007678. Frais d'envoiShipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings - Livres de poche
2009, ISBN: 3642007678
[EAN: 9783642007675], Neubuch, [PU: Springer Berlin Heidelberg], ALGORITHMUS; EDV / THEORIE SOFTWARE-ENTW. ALLGEMEINES; SATSOLVERS; ALGORITHM; BIOLOGICALSYSTEMS; COMMUNICATIONSPROTOCOLS; … Plus…
Philippou, Anna (Herausgeber); Kowalewski, Stefan (Herausgeber):
Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings - nouveau livre2009, ISBN: 3642007678
2009 Kartoniert / Broschiert Algorithmus, EDV / Theorie / Software-Entw. / Allgemeines, Computerprogrammierung und Softwareentwicklung, Software Engineering, Theoretische Informatik, SA… Plus…
Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings - Première édition
2009
ISBN: 3642007678
Livres de poche
[EAN: 9783642007675], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], COMMUNICATIONS PROTOCOLS,HEURISTICS,SOFTWARE ENGINEERING,THEOREM PROVING,ALGORITHMS,STATIC ANALYSIS,VERIF… Plus…
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings - Livres de poche
2009, ISBN: 9783642007675
Paperback / softback. New. This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS… Plus…
2009, ISBN: 9783642007675
*Tools and Algorithms for the Construction and Analysis of Systems* - 15th International Conference TACAS 2009 Held as Part of the Joint European Conferences on Theory and Practice of Sof… Plus…
Données bibliographiques du meilleur livre correspondant
Informations détaillées sur le livre - Tools and Algorithms for the Construction and Analysis of Systems
EAN (ISBN-13): 9783642007675
ISBN (ISBN-10): 3642007678
Version reliée
Livre de poche
Date de parution: 2009
Editeur: Springer Berlin Heidelberg
456 Pages
Poids: 0,704 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2009-07-20T12:06:58+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-01-22T04:04:31+01:00 (Paris)
ISBN/EAN: 9783642007675
ISBN - Autres types d'écriture:
3-642-00767-8, 978-3-642-00767-5
Autres types d'écriture et termes associés:
Auteur du livre: kowalewski, inter, philippo, anna
Titre du livre: systems theory, joaquin sorolla, march held, conference york, the tools, algorithms part, here new york, above new york, only one new york, new york then and now, international conference software, general analysis, kowalewski, the science book, computer systems, theory construction, proceedings construction
Données de l'éditeur
Auteur: Stefan Kowalewski; Anna Philippou
Titre: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Tools and Algorithms for the Construction and Analysis of Systems - 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Editeur: Springer; Springer Berlin
456 Pages
Date de parution: 2009-03-09
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XVI, 456 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; SAT solvers; algorithm; algorithms; biological systems; communications protocols; formal methods; heuristics; model checking; programming languages; software engineering; static analysis; systems analysis; theorem proving; validation; verification; algorithm analysis and problem complexity; Software Engineering; Programming Techniques; Algorithms; Computer Science Logic and Foundations of Programming; Computerprogrammierung und Softwareentwicklung; Algorithmen und Datenstrukturen; Theoretische Informatik; EA
Model Checking I.- Hierarchical Set Decision Diagrams and Regular Models.- Büchi Complementation and Size-Change Termination.- Learning Minimal Separating DFA’s for Compositional Verification.- Tools I.- RBAC-PAT: A Policy Analysis Tool for Role Based Access Control.- ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets.- Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.- Alpaga: A Tool for Solving Parity Games with Imperfect Information.- Game-Theoretic Approaches.- Compositional Predicate Abstraction from Game Semantics.- Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications.- Computing Weakest Strategies for Safety Games of Imperfect Information.- Verification of Concurrent Programs.- Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads.- Semantic Reduction of Thread Interleavings in Concurrent Programs.- Inferring Synchronization under Limited Observability.- The Complexity of Predicting Atomicity Violations.- Tools II.- MoonWalker: Verification of .NET Programs.- Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays.- The Yogi Project: Software Property Checking via Static Analysis and Testing.- TaPAS: The Talence Presburger Arithmetic Suite.- Model Checking II.- Transition-Based Directed Model Checking.- Memoised Garbage Collection for Software Model Checking.- Hierarchical Adaptive State Space Caching Based on Level Sampling.- Parametric Analysis.- Static Analysis Techniques for Parameterised Boolean Equation Systems.- Parametric Trace Slicing and Monitoring.- Generative Approaches.- From Tests to Proofs.- Test Input Generation for Programs with Pointers.- Specification Mining with Few False Positives.- Program Analysis.- Path Feasibility Analysis forString-Manipulating Programs.- Symbolic String Verification: Combining String Analysis and Size Analysis.- Iterating Octagons.- Verifying Reference Counting Implementations.- Hybrid Systems.- Falsification of LTL Safety Properties in Hybrid Systems.- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints.- Decision Procedures and Theorem Proving.- All-Termination(T).- Ground Interpolation for the Theory of Equality.- Satisfiability Procedures for Combination of Theories Sharing Integer Offsets.- Invited Contribution.- Bridging the Gap Between Model-Based Development and Model Checking.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9781013271212 Tools and Algorithms for the Construction and Analysis of Systems (Steffen, Bernhard; Kordon, Fabrice; Huisman, Marieke)
- 9781013271212 Tools and Algorithms for the Construction and Analysis of Systems (Steffen, Bernhard; Kordon, Fabrice; Huisman, Marieke)
- 9781013271229 Tools and Algorithms for the Construction and Analysis of Systems (Zhang, Lijun; Vojnar, Tomás)
- 9781013271236 Tools and Algorithms for the Construction and Analysis of Systems (Zhang, Lijun; Vojnar, Tomás)
- 9781013277184 Tools and Algorithms for the Construction and Analysis of Systems (Armin Biere)
- 9781013277191 Tools and Algorithms for the Construction and Analysis of Systems (Armin Biere)
- 9781013277207 Tools and Algorithms for the Construction and Analysis of Systems Armin Biere Author (Armin Biere)
- 9781013277214 Tools and Algorithms for the Construction and Analysis of Systems (Biere, Armin, Parker, David)
- Tools And Algorithms For The Construction And Analysis Of Systems (Kowalewski, S., Philippou, A.)
< pour archiver...