- 5 Ergebnisse
Kleinster Preis: € 74,89, größter Preis: € 80,99, Mittelwert: € 76,15
1
Foundations of Software Science and Computational Structures - Luca de Alfaro
Bestellen
bei Springer.com
€ 74,89
Bestellen
Details und Versand
gesponserter Link
Luca de Alfaro:

Foundations of Software Science and Computational Structures - neues Buch

2009, ISBN: 9783642005961

This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in Mar… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
Foundations of Software Science and Computational Structures als eBook Download von
Bestellen
bei Hugendubel.de
€ 80,99
Versand: € 25,001
Bestellen
Details beim Anbieter
gesponserter Link
Foundations of Software Science and Computational Structures als eBook Download von - neues Buch

2009, ISBN: 9783642005961

Foundations of Software Science and Computational Structures:12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software… Mehr…

  - No. 22878049. Versandkosten:Zzgl. Versandkosten. (EUR 25.00)
zuklappen (X)
3
Foundations of Software Science and Computational Structures - Luca de Alfaro
Bestellen
bei Springer.com
€ 74,96
Bestellen
Details und Versand
gesponserter Link
Luca de Alfaro:
Foundations of Software Science and Computational Structures - neues Buch

ISBN: 9783642005961

Computer Science; Programming Languages, Compilers, Interpreters; Software Engineering/Programming and Operating Systems; Theory of Computation; Mathematical Logic and Formal Languages; L… Mehr…

  - Versandkosten:más costos de envío, zzgl. Versandkosten
zuklappen (X)
4
Foundations of Software Science and Computational Structures - Luca de Alfaro
Bestellen
bei Springer.com
€ 74,96
Bestellen
Details und Versand
gesponserter Link
Luca de Alfaro:
Foundations of Software Science and Computational Structures - neues Buch

ISBN: 9783642005961

Computer Science; Programming Languages, Compilers, Interpreters; Software Engineering/Programming and Operating Systems; Theory of Computation; Mathematical Logic and Formal Languages; L… Mehr…

  - Versandkosten:zzgl. Versandkosten.
zuklappen (X)
5
Foundations of Software Science and Computational Structures - Luca de Alfaro
Bestellen
bei Springer.com
€ 74,96
Bestellen
Details und Versand
gesponserter Link
Luca de Alfaro:
Foundations of Software Science and Computational Structures - neues Buch

ISBN: 9783642005961

Computer Science; Programming Languages, Compilers, Interpreters; Software Engineering/Programming and Operating Systems; Theory of Computation; Mathematical Logic and Formal Languages; L… Mehr…

  - Versandkosten:zzgl. Versandkosten.
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Foundations of Software Science and Computational Structures - 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Autor:
Titel:
ISBN-Nummer:

9783642005961

Detailangaben zum Buch - Foundations of Software Science and Computational Structures - 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings


EAN (ISBN-13): 9783642005961
Erscheinungsjahr: 2009
Herausgeber: Springer Berlin
15 Seiten
Sprache: eng/Englisch

Buch in der Datenbank seit 2010-03-09T04:26:03+01:00 (Berlin)
Detailseite zuletzt geändert am 2020-04-17T09:29:29+02:00 (Berlin)
ISBN/EAN: 9783642005961

ISBN - alternative Schreibweisen:
978-3-642-00596-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: the foundations the science war, joint, software

Daten vom Verlag:

Autor/in: Luca de Alfaro
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Foundations of Software Science and Computational Structures - 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Verlag: Springer; Springer Berlin
471 Seiten
Erscheinungsjahr: 2009-03-27
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XV, 471 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Automat; automata; automata theory; computational complexity; correctness; first order logic; formal verification; modal logics; model theory; probabilistic models; programming theory; semantics; software engineering; structured analysis; type theory; C; Compilers and Interpreters; Software Engineering; Theory of Computation; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Computer Science; Software Engineering; Theoretische Informatik; BC

Invited Talks.- Facets of Synthesis: Revisiting Church’s Problem.- Temporal Reasoning about Program Executions.- Semantics.- Least and Greatest Fixpoints in Game Semantics.- Full Abstraction for Reduced ML.- Logics and Bisimulation Games for Concurrency, Causality and Conflict.- Logics and Automata.- Separating Graph Logic from MSO.- On the Completeness of Dynamic Logic.- Dependency Tree Automata.- On Global Model Checking Trees Generated by Higher-Order Recursion Schemes.- Algebras.- A Kleene Theorem for Polynomial Coalgebras.- Coalgebraic Hybrid Logic.- A Description of Iterative Reflections of Monads (Extended Abstract).- Automata Theory.- Tighter Bounds for the Determinisation of Büchi Automata.- Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata.- Interrupt Timed Automata.- Parameter Reduction in Grammar-Compressed Trees.- Processes and Models.- The Calculus of Handshake Configurations.- On the Expressive Power of Restriction and Priorities in CCS with Replication.- Normal Bisimulations in Calculi with Passivation.- Reactive Systems, Barbed Semantics, and the Mobile Ambients.- Security.- On the Foundations of Quantitative Information Flow.- Cryptographic Protocol Composition via the Authentication Tests.- Bisimulation for Demonic Schedulers.- Probabilistic and Quantitative Models.- On Omega-Languages Defined by Mean-Payoff Conditions.- Minimal Cost Reachability/Coverability in Priced Timed Petri Nets.- Delayed Nondeterminism in Continuous-Time Markov Decision Processes.- Concurrency, ?-Algebras, and Probabilistic Fairness.- Synthesis.- Synthesis from Component Libraries.- Realizability of Concurrent Recursive Programs.- Program Analysis and Semantics.- Beyond Shapes: Lists with Ordered Data.- Interprocedural Dataflow Analysis over WeightDomains with Infinite Descending Chains.- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types.
< zum Archiv...