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 - Taschenbuch
2008, ISBN: 3540253882
[EAN: 9783540253884], Nouveau livre, [SC: 18.23], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK ALLGEMEINES; SOFTWARE-ENTW. BISIMULATION; VARIABLE; ALGORITHMS; AUTOMATA; COMP… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Note: 5 (sur 5)] NEW BOOK. Versandkosten: EUR 18.23 Details... |
Foundations of Software Science and Computational Structures - Taschenbuch
2024, ISBN: 9783540253884
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual … Mehr…
booklooker.de |
2005, ISBN: 9783540253884
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…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Foundations of Software Science and Computational Structures - Taschenbuch
2005, ISBN: 9783540253884
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. (EUR 0.00) 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: 3540253882
2005 Kartoniert / Broschiert EDV / Theorie / Informatik / Allgemeines, EDV / Theorie / Software-Entw. / Allgemeines, Software Engineering, Theoretische Informatik, Bisimulation; Variabl… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) 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 - Taschenbuch
2008, ISBN: 3540253882
[EAN: 9783540253884], Nouveau livre, [SC: 18.23], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK ALLGEMEINES; SOFTWARE-ENTW. BISIMULATION; VARIABLE; ALGORITHMS; AUTOMATA; COMP… Mehr…
Vladimiro Sassone:
Foundations of Software Science and Computational Structures - Taschenbuch2024, ISBN: 9783540253884
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual … Mehr…
2005
ISBN: 9783540253884
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…
Foundations of Software Science and Computational Structures - Taschenbuch
2005, ISBN: 9783540253884
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…
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: 3540253882
2005 Kartoniert / Broschiert EDV / Theorie / Informatik / Allgemeines, EDV / Theorie / Software-Entw. / Allgemeines, Software Engineering, Theoretische Informatik, Bisimulation; Variabl… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Foundations of Software Science and Computational Structures by Vladimiro Sassone Paperback | Indigo Chapters
EAN (ISBN-13): 9783540253884
ISBN (ISBN-10): 3540253882
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2005
Herausgeber: Vladimiro Sassone
540 Seiten
Gewicht: 0,807 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2008-02-24T18:53:38+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-09T16:24:27+01:00 (Berlin)
ISBN/EAN: 9783540253884
ISBN - alternative Schreibweisen:
3-540-25388-2, 978-3-540-25388-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: sassone, sasso, sasson, vladimiro
Titel des Buches: european foundation, foundations software science computational structures, computation structures, foundations the international, 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-03-24
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIV, 530 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; Bisimulation; Variable; algorithms; automata; complexity; computational structures; formal methods; logic; logical foundations; mathematical foundations; model checking; program analysis; program logics; programming theory; proof theory; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Theory of Computation; Compilers and Interpreters; Software Engineering; Compiler und Übersetzer; Software Engineering; EA
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:
9783540319825 Foundations of Software Science and Computational Structures (Vladimiro Sassone)
< zum Archiv...