Foundations of Software Science and Computational Structures : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 - neues Buch
2005, ISBN: 9783540319825
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software.ETAPS is an annual federated conference that was est- lished in 1998 by combining a… Mehr…
hive.co.uk No. 9783540319825. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2005, ISBN: 9783540319825
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining … Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2005, ISBN: 9783540319825
Foundations of Software Science and Computational Structures:8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software,… Mehr…
Hugendubel.de No. 25407317 Versandkosten:zzgl. Versandkosten Details... |
2005, ISBN: 9783540319825
8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, eBooks, eBook Download (PDF), [PU: Springer Berl… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 13.95) Details... |
Foundations of Software Science and Computational Structures : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 - neues Buch
2005, ISBN: 9783540319825
; PDF; Computing, Springer Berlin Heidelberg
hive.co.uk No. 9783540319825. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Foundations of Software Science and Computational Structures : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 - neues Buch
2005, ISBN: 9783540319825
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software.ETAPS is an annual federated conference that was est- lished in 1998 by combining a… Mehr…
2005, ISBN: 9783540319825
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining … Mehr…
2005
ISBN: 9783540319825
Foundations of Software Science and Computational Structures:8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software,… Mehr…
2005, ISBN: 9783540319825
8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, eBooks, eBook Download (PDF), [PU: Springer Berl… Mehr…
Foundations of Software Science and Computational Structures : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 - neues Buch
2005, ISBN: 9783540319825
; PDF; Computing, Springer Berlin Heidelberg
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Foundations of Software Science and Computational Structures
EAN (ISBN-13): 9783540319825
Erscheinungsjahr: 2005
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2015-12-29T13:18:12+01:00 (Berlin)
Detailseite zuletzt geändert am 2022-07-05T14:33:59+02:00 (Berlin)
ISBN/EAN: 9783540319825
ISBN - alternative Schreibweisen:
978-3-540-31982-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: vladimiro
Titel des Buches: international conference software
Daten vom Verlag:
Autor/in: Vladimiro Sassone
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Foundations of Software Science and Computational Structures - 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
Verlag: Springer; Springer Berlin
530 Seiten
Erscheinungsjahr: 2005-02-26
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIV, 530 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Bisimulation; Variable; algorithms; automata; complexity; computational structures; formal methods; logic; logical foundations; mathematical foundations; model checking; program analysis; program logics; programming theory; proof theory; C; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Theory of Computation; Compilers and Interpreters; Software Engineering; Computer Science; Compiler und Übersetzer; Software Engineering; BC
Invited Talks.- Model Checking for Nominal Calculi.- Mathematical Models of Computational and Combinatorial Structures.- Rule Formats and Bisimulation.- Congruence for Structural Congruences.- Probabilistic Congruence for Semistochastic Generative Processes.- Bisimulation on Speed: A Unified Approach.- Probabilistic Models.- Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications.- Axiomatizations for Probabilistic Finite-State Behaviors.- Stochastic Transition Systems for Continuous State Spaces and Non-determinism.- Model Checking Durational Probabilistic Systems.- Algebraic Models.- Free-Algebra Models for the ?-Calculus.- A Unifying Model of Variables and Names.- A Category of Higher-Dimensional Automata.- Games and Automata.- Third-Order Idealized Algol with Iteration Is Decidable.- Fault Diagnosis Using Timed Automata.- Optimal Conditional Reachability for Multi-priced Timed Automata.- Alternating Timed Automata.- Language Analysis.- Full Abstraction for Polymorphic Pi-Calculus.- Foundations of Web Transactions.- Bridging Language-Based and Process Calculi Security.- History-Based Access Control with Local Policies.- Partial Order Models.- Composition and Decomposition in True-Concurrency.- Component Refinement and CSC Solving for STG Decomposition.- The Complexity of Live Sequence Charts.- Logics.- A Simpler Proof Theory for Nominal Logic.- From Separation Logic to First-Order Logic.- Justifying Algorithms for ??-Conversion.- On Decidability Within the Arithmetic of Addition and Divisibility.- Coalgebraic Modal Logics.- Expressivity of Coalgebraic Modal Logic: The Limits and Beyond.- Duality for Logics of Transition Systems.- Computational Models.- Confluence of Right Ground Term Rewriting Systems Is Decidable.- Safety Is nota Restriction at Level 2 for String Languages.- A Computational Model for Multi-variable Differential Calculus.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030452308 Foundations of Software Science and Computation Structures (Barbara König)
- 9783030452308 Foundations of Software Science and Computation Structures (Barbara König)
- 9781013269424 Foundations of Software Science and Computation Structures (Christel Baier)
- 9781013269431 Foundations of Software Science and Computation Structures (Christel Baier)
- 9783030719944 Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint ... Notes in Computer Science, Band 12650) (Stefan Kiefer; Christine Tasson)
- 9783030171261 Foundations of Software Science and Computation Structures (Miko?aj Boja?czyk; Alex Simpson)
< zum Archiv...