Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2 - neues Buch
2002, ISBN: 9783540460022
ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software.ETAPS is an annual federated conference that was established in 1998by combining a nu… Mehr…
| hive.co.uk No. 9783540460022. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2 - neues Buch
2002, ISBN: 9783540460022
ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software.ETAPS is an annual federated conference that was established in 1998by combining a nu… Mehr…
| hive.co.uk No. 9783540460022. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2002, ISBN: 9783540460022
Tools and Algorithms for the Construction and Analysis of Systems - 8th International Conference TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Softwa… Mehr…
| eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
2003, ISBN: 9783540460022
8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings, e… Mehr…
| lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2 - neues Buch
2002, ISBN: 9783540460022
; PDF; Computing > Computer science, Springer Berlin Heidelberg
| hive.co.uk No. 9783540460022. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2 - neues Buch
2002, ISBN: 9783540460022
ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software.ETAPS is an annual federated conference that was established in 1998by combining a nu… Mehr…
Tom Harris:
Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2 - neues Buch2002, ISBN: 9783540460022
ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software.ETAPS is an annual federated conference that was established in 1998by combining a nu… Mehr…
2002
ISBN: 9783540460022
Tools and Algorithms for the Construction and Analysis of Systems - 8th International Conference TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Softwa… Mehr…
2003, ISBN: 9783540460022
8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings, e… Mehr…
Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2 - neues Buch
2002, ISBN: 9783540460022
; PDF; Computing > Computer science, Springer Berlin Heidelberg
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - Tools and Algorithms for the Construction and Analysis of Systems
EAN (ISBN-13): 9783540460022
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-05-10T02:53:44+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-08-14T07:36:28+02:00 (Berlin)
ISBN/EAN: 9783540460022
ISBN - alternative Schreibweisen:
978-3-540-46002-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: grundmann, bokowski
Titel des Buches: algorithms, international conference software, software tools, theory construction
Daten vom Verlag:
Autor/in: Joost-Pieter Katoen; Perdita Stevens
Titel: Lecture Notes in Computer Science; Tools and Algorithms for the Construction and Analysis of Systems - 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
Verlag: Springer; Springer Berlin
486 Seiten
Erscheinungsjahr: 2003-07-31
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIV, 486 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Development Tools; Distributed Systems; Formal Methods; Formal Specification; Logics; Model Checking; Monitor; Program Semantics; Programming Theory; Variable; algorithms; automata; formal verification; logic; petri net; algorithm analysis and problem complexity; C; Theory of Computation; Computer Science Logic and Foundations of Programming; Software Engineering; Computer Communication Networks; Algorithms; Computer Science; Software Engineering; Netzwerk-Hardware; Algorithmen und Datenstrukturen; BC
Invited Contributions.- Software Construction and Analysis Tools for Future Space Missions.- Alloy: A New Technology for Software Modelling.- Real-Time and Probabilistic Systems.- Improving the Verification of Timed Systems Using Influence Information.- Digitisation and Full Abstraction for Dense-Time Model Checking.- Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach.- Scheduling.- Timed Automata with Asynchronous Processes: Schedulability and Decidability.- Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems.- An Analysis of Zero-Clairvoyant Scheduling.- Preemptive Job-Shop Scheduling Using Stopwatch Automata.- Miscellaneous.- Explicit Modeling of Influences, and of Their Absence, in Distributed Systems.- A Functional Semantics of Attribute Grammars.- Software Verification.- Relative Completeness of Abstraction Refinement for Software Model Checking.- Towards the Automated Verification of Multithreaded Java Programs.- CLPS-B—A Constraint Solver for B.- Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS.- Infinite-State and Parametric Systems.- Beyond Parameterized Verification.- Resource-Constrained Model Checking of Recursive Programs.- Model Checking Large-Scale and Parameterized Resource Allocation Systems.- Model Checking: Logics and Algorithms.- Exploring Very Large State Spaces Using Genetic Algorithms.- Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems.- The ForSpec Temporal Logic: A New Temporal Property-Specification Language.- Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis.- Model Checking and Testing.- A Temporal Logic Based Theory of Test Coverage and Generation.-Synthesizing Monitors for Safety Properties.- Adaptive Model Checking.- Partial-Order and Simulation Techniques.- Parallelisation of the Petri Net Unfolding Algorithm.- Black Box Unfolding with Local First Search.- Applicability of Fair Simulation.- Simulation as Coarsest Partition Problem.- Debugging with Model Checking.- Temporal Debugging for Concurrent Systems.- Fate and FreeWill in Error Traces.- Tool Papers.- TIMES b— A Tool for Modelling and Implementation of Embedded Systems.- Compositional Verification Using SVL Scripts.- STG: A Symbolic Test Generation Tool.- Real-Time Systems Design with PEP.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
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.)
< zum Archiv...