2003, ISBN: 9783540008972
Springer, Taschenbuch, Auflage: 2003, 460 Seiten, Publiziert: 2003-05-07T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 0.69 kg, Informatik, IT-Ausbildung & -Berufe, Compu… Mehr…
amazon.de Versandkosten:De verzendkosten kunnen afwijken van de werkelijke kosten. (EUR 3.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, Warsaw, Poland, April 7-11, 2003, Proceedings - neues Buch
2003, ISBN: 3540008977
2003 Kartoniert / Broschiert EDV / Theorie / Allgemeines, Informatik, Software Engineering, Theoretische Informatik, Automat; automata; computationalstructures; formalmethods; formalver… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Geen versendingskosten in Duitsland. (EUR 0.00) Details... |
2003, ISBN: 9783540008972
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Paper.- A Game Se… Mehr…
booklooker.de |
2003, ISBN: 9783540008972
*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… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., plus verzendkosten. (EUR 7.50) Details... |
2003, ISBN: 9783540008972
Taschenbuch
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, Bu… Mehr…
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Foundations of Software Science and Computational Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference ... Notes in Computer Science, 2620, Band 2620) - Taschenbuch
2003, ISBN: 9783540008972
Springer, Taschenbuch, Auflage: 2003, 460 Seiten, Publiziert: 2003-05-07T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 0.69 kg, Informatik, IT-Ausbildung & -Berufe, Compu… Mehr…
Gordon, Andrew D. (Herausgeber):
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 - neues Buch2003, ISBN: 3540008977
2003 Kartoniert / Broschiert EDV / Theorie / Allgemeines, Informatik, Software Engineering, Theoretische Informatik, Automat; automata; computationalstructures; formalmethods; formalver… Mehr…
2003
ISBN: 9783540008972
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Paper.- A Game Se… Mehr…
2003, ISBN: 9783540008972
*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… Mehr…
2003, ISBN: 9783540008972
Taschenbuch
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, Bu… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Foundations of Software Science and Computational Structures
EAN (ISBN-13): 9783540008972
ISBN (ISBN-10): 3540008977
Taschenbuch
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg
460 Seiten
Gewicht: 0,690 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-12T04:38:10+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-24T05:14:15+01:00 (Berlin)
ISBN/EAN: 9783540008972
ISBN - alternative Schreibweisen:
3-540-00897-7, 978-3-540-00897-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: gordon andrew, sroufe
Titel des Buches: computer software, european foundation, structures theory practice, foundations software science computational structures, structure, structures why, computation structures, foundations the international, warsaw, international conference software
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-03-14
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 444 p.
BC; Hardcover, Softcover / 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; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Software Engineering; Compiler und Übersetzer; EA
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:
9783540253884 Foundations of Software Science and Computational Structures by Vladimiro Sassone Paperback | Indigo Chapters (Vladimiro Sassone)
- 9783540253884 Foundations of Software Science and Computational Structures by Vladimiro Sassone Paperback | Indigo Chapters (Vladimiro Sassone)
- 9783540713883 Foundations of Software Science and Computational Structures (Helmut Seidl)
- 9783540784975 Foundations of Software Science and Computational Structures (Roberto Amadio)
- 9783642005954 Foundations of Software Science and Computational Structures (Luca de Alfaro)
- 9783642120312 Foundations of Software Science and Computational Structures (Luke Ong)
< zum Archiv...