Foundations of Software Science and Computational Structures - neues Buch
ISBN: 9783540365761
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, I… Mehr…
Springer.com Versandkosten: EUR 0.00 Details... |
Foundations of Software Science and Computational Structures - neues Buch
ISBN: 9783540365761
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, I… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
Foundations of Software Science and Computational Structures - neues Buch
2003, ISBN: 9783540365761
6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, eB… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
Foundations of Software Science and Computational Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, - neues Buch
2003, ISBN: 9783540365761
; PDF \ Takenobu Tokunaga; Computing > Computer programming / software development, Springer Berlin Heidelberg
hive.co.uk No. 9783540365761 Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten Details... |
Foundations of Software Science and Computational Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, - neues Buch
2003, ISBN: 9783540365761
; PDF; Computing > Computer programming / software development, Springer Berlin Heidelberg
hive.co.uk No. 9783540365761. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Foundations of Software Science and Computational Structures - neues Buch
ISBN: 9783540365761
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, I… Mehr…
Andrew D. Gordon:
Foundations of Software Science and Computational Structures - neues BuchISBN: 9783540365761
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, I… Mehr…
Foundations of Software Science and Computational Structures - neues Buch
2003
ISBN: 9783540365761
6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, eB… Mehr…
Foundations of Software Science and Computational Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, - neues Buch
2003, ISBN: 9783540365761
; PDF \ Takenobu Tokunaga; Computing > Computer programming / software development, Springer Berlin Heidelberg
Foundations of Software Science and Computational Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, - neues Buch
2003, ISBN: 9783540365761
; 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): 9783540365761
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-01-15T10:01:53+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-28T18:11:49+02:00 (Berlin)
ISBN/EAN: 9783540365761
ISBN - alternative Schreibweisen:
978-3-540-36576-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: gottschalk, gordon, springer louis
Titel des Buches: foundations science, international conference software, structures
Daten vom Verlag:
Autor/in: Andrew D. Gordon
Titel: Lecture Notes in Computer Science; Foundations of Software Science and Computational Structures - 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Verlag: Springer; Springer Berlin
444 Seiten
Erscheinungsjahr: 2003-07-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 440 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automat; automata; computational structures; formal methods; formal verification; logical foundations; mathematical foundations; model checking; program analysis; program logics; programming theory; software engineering; software science; C; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Computer Science; Software Engineering; Compiler und Übersetzer; BC
Invited Paper.- A Game Semantics for Generic Polymorphism.- Contributed Papers.- Categories of Containers.- Verification of Probabilistic Systems with Faulty Communication.- Generalized Iteration and Coiteration for Higher-Order Nested Datatypes.- Ambiguous Classes in the Games ?-Calculus Hierarchy.- Parameterized Verification by Probabilistic Abstraction.- Genericity and the ?-Calculus.- Model Checking Lossy Channels Systems Is Probably Decidable.- Verification of Cryptographic Protocols: Tagging Enforces Termination.- A Normalisation Result for Higher-Order Calculi with Explicit Substitutions.- When Ambients Cannot Be Opened.- Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time.- An Intrinsic Characterization of Approximate Probabilistic Bisimilarity.- Manipulating Trees with Hidden Labels.- The Converse of a Stochastic Relation.- Type Assignment for Intersections and Unions in Call-by-Value Languages.- Cones and Foci for Protocol Verification Revisited.- Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems.- The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard.- A Game Semantics of Linearly Used Continuations.- Counting and Equality Constraints for Multitree Automata.- Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete.- A Monadic Multi-stage Metalanguage.- Multi-level Meta-reasoning with Higher-Order Abstract Syntax.- Abstraction in Reasoning about Higraph-Based Systems.- Deriving Bisimulation Congruences: 2-Categories Vs Precategories.- On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the ?Calculus.Includes supplementary material: sn.pub/extras
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...