- 5 Ergebnisse
Kleinster Preis: € 63,06, größter Preis: € 79,72, Mittelwert: € 72,21
1
Foundations of Software Science and Computational Structures als eBook Download von
Bestellen
bei Hugendubel.de
€ 67,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Foundations of Software Science and Computational Structures als eBook Download von - neues Buch

2007, ISBN: 9783540713890

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

  - No. 22874032 Versandkosten:, , DE (EUR 0.00)
zuklappen (X)
2
Foundations of Software Science and Computational Structures
Bestellen
bei Springer.com
€ 63,06
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Foundations of Software Science and Computational Structures - neues Buch

ISBN: 9783540713890

Computer Science; Software Engineering/Programming and Operating Systems; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Computation by A… Mehr…

  - Versandkosten: EUR 0.00
zuklappen (X)
3
Foundations of Software Science and Computational Structures - Helmut Seidl
Bestellen
bei Springer.com
$ 84,99
(ca. € 70,56)
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Helmut Seidl:
Foundations of Software Science and Computational Structures - neues Buch

ISBN: 9783540713890

Computer Science; Software Engineering/Programming and Operating Systems; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Computation by A… Mehr…

  - Versandkosten: EUR 0.00
zuklappen (X)
4
Foundations of Software Science and Computational Structures
Bestellen
bei lehmanns.de
€ 79,72
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Foundations of Software Science and Computational Structures - neues Buch

2007, ISBN: 9783540713890

10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Procee… Mehr…

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
5
Foundations of Software Science and Computational Structures
Bestellen
bei lehmanns.de
€ 79,72
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Foundations of Software Science and Computational Structures - neues Buch

2007, ISBN: 9783540713890

10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Procee… Mehr…

  - Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
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
Autor:
Titel:
ISBN-Nummer:

9783540713890

Detailangaben zum Buch - Foundations of Software Science and Computational Structures


EAN (ISBN-13): 9783540713890
ISBN (ISBN-10): 3540713891
Erscheinungsjahr: 2007
Herausgeber: Springer Berlin
16 Seiten
Sprache: eng/Englisch

Buch in der Datenbank seit 2010-12-30T12:14:54+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-05-27T12:04:15+02:00 (Berlin)
ISBN/EAN: 9783540713890

ISBN - alternative Schreibweisen:
3-540-71389-1, 978-3-540-71389-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: helmut seidl
Titel des Buches: the foundations the science war, april, portugal mar, software

Daten vom Verlag:

Autor/in: Helmut Seidl
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Foundations of Software Science and Computational Structures - 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings
Verlag: Springer; Springer Berlin
379 Seiten
Erscheinungsjahr: 2007-07-02
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XVI, 379 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Automat; automata; formal verification; logical foundations; mathematical foundations; model checking; process algebras; program analysis; program correctness; program logics; programming; programming calculi; programming language; semantics; verification; C; Software Engineering; Theory of Computation; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compilers and Interpreters; Computer Science; Theoretische Informatik; Compiler und Übersetzer; BC

Invited Talk.- Formal Foundations for Aspects.- Contributed Papers.- Sampled Universality of Timed Automata.- Iterator Types.- Types and Effects for Resource Usage Analysis.- The Complexity of Generalized Satisfiability for Linear Temporal Logic.- Formalising the ?-Calculus Using Nominal Logic.- The Rewriting Calculus as a Combinatory Reduction System.- Relational Parametricity and Separation Logic.- Model-Checking One-Clock Priced Timed Automata.- Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems.- Optimal Strategy Synthesis in Stochastic Müller Games.- Generalized Parity Games.- Tree Automata with Memory, Visibility and Structural Constraints.- Enriched ?-Calculi Module Checking.- PDL with Intersection and Converse Is 2EXP-Complete.- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems.- A Distribution Law for CCS and a New Congruence Result for the ?-Calculus.- On the Expressiveness and Complexity of ATL.- Polynomial Constraints for Sets with Cardinality Bounds.- A Lower Bound on Web Services Composition.- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems.- Semantic Barbs and Biorthogonality.- On the Stability by Union of Reducibility Candidates.- An Effective Algorithm for the Membership Problem for Extended Regular Expressions.- Complexity Results on Balanced Context-Free Languages.- Logical Reasoning for Higher-Order Functions with Local State.
< zum Archiv...