2006, ISBN: 9783540330462
Foundations of Software Science and Computational Structures:9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software,… Mehr…
Hugendubel.de No. 25373182 Versandkosten:zzgl. Versandkosten Details... |
ISBN: 9783540330462
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Computation by A… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
2006, ISBN: 9783540330462
Foundations of Software Science and Computational Structures ab 96.49 € als pdf eBook: 9th International Conference FOSSACS 2006 Held as Part of the Joint European Conferences on Theory a… Mehr…
Hugendubel.de Versandkosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
2006, ISBN: 9783540330462
Foundations of Software Science and Computational Structures - 9th International Conference FOSSACS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software … Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
Foundations of Software Science and Computational Structures : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 - neues Buch
2006, ISBN: 9783540330462
; PDF; Computing > Computer programming / software development, Springer Berlin Heidelberg
hive.co.uk No. 9783540330462. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2006, ISBN: 9783540330462
Foundations of Software Science and Computational Structures:9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software,… Mehr…
Luca Aceto; Anna Ingólfsdóttir:
Foundations of Software Science and Computational Structures - neues BuchISBN: 9783540330462
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Computation by A… Mehr…
2006
ISBN: 9783540330462
Foundations of Software Science and Computational Structures ab 96.49 € als pdf eBook: 9th International Conference FOSSACS 2006 Held as Part of the Joint European Conferences on Theory a… Mehr…
2006, ISBN: 9783540330462
Foundations of Software Science and Computational Structures - 9th International Conference FOSSACS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software … Mehr…
Foundations of Software Science and Computational Structures : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 - neues Buch
2006, ISBN: 9783540330462
; PDF; Computing > Computer programming / software development, 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): 9783540330462
Erscheinungsjahr: 2006
Herausgeber: Springer-Verlag GmbH
Buch in der Datenbank seit 2017-04-17T03:36:23+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-06-07T19:16:34+02:00 (Berlin)
ISBN/EAN: 9783540330462
ISBN - alternative Schreibweisen:
978-3-540-33046-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: luneburg
Titel des Buches: international conference software, theory
Daten vom Verlag:
Autor/in: Luca Aceto; Anna Ingólfsdóttir
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Foundations of Software Science and Computational Structures - 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings
Verlag: Springer; Springer Berlin
447 Seiten
Erscheinungsjahr: 2006-03-29
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XV, 447 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automat; automata; computational structures; formal methods; formal verification; lambda calculus; logic; logical foundations; mathematical foundations; modal logics; model checking; program analysis; program logics; programming calculi; programming theory; C; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compilers and Interpreters; Computer Science; Software Engineering; Compiler und Übersetzer; BC
Invited Talk.- On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation.- Mobile Processes.- A Theory for Observational Fault Tolerance.- Smooth Orchestrators.- On the Relative Expressive Power of Asynchronous Communication Primitives.- More on Bisimulations for Higher Order ?-Calculus.- Software Science.- Register Allocation After Classical SSA Elimination is NP-Complete.- A Logic of Reachable Patterns in Linked Data-Structures.- Distributed Computation.- Dynamic Policy Discovery with Remote Attestation.- Distributed Unfolding of Petri Nets.- On the ?-Calculus Augmented with Sabotage.- Categorical Models.- A Finite Model Construction for Coalgebraic Modal Logic.- Presenting Functors by Operations and Equations.- Bigraphical Models of Context-Aware Systems.- Processes for Adhesive Rewriting Systems.- Real Time and Hybrid Systems.- On Metric Temporal Logic and Faulty Turing Machines.- Denotational Semantics of Hybrid Automata.- Process Calculi.- Reversing Algebraic Process Calculi.- Conjunction on Processes: Full–Abstraction Via Ready–Tree Semantics.- Undecidability Results for Bisimilarity on Prefix Rewrite Systems.- Automata and Logic.- Propositional Dynamic Logic with Recursive Programs.- A Semantic Approach to Interpolation.- First-Order and Counting Theories of ?-Automatic Structures.- Parity Games Played on Transition Graphs of One-Counter Processes.- Domains, Lambda Calculus, Types.- Bidomains and Full Abstraction for Countable Nondeterminism.- An Operational Characterization of Strong Normalization.- On the Confluence of ?-Calculus with Conditional Rewriting.- Security.- Guessing Attacks and the Computational Soundness of Static Equivalence.- Handling exp,× (and Timestamps) in Protocol Analysis.- Symbolic and Cryptographic Analysis ofthe Secure WS-ReliableMessaging Scenario.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...