- 5 Ergebnisse
Kleinster Preis: € 36,29, größter Preis: € 96,29, Mittelwert: € 56,90
1
Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... Notes in Computer Science, 3921, Band 3921)
Bestellen
bei amazon.de
€ 57,23
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... Notes in Computer Science, 3921, Band 3921) - Taschenbuch

2010, ISBN: 9783540330455

Series Editor: Ingólfsdóttir, Anna, Springer Berlin Heidelberg, Taschenbuch, Auflage: 2006, 468 Seiten, Publiziert: 2010-06-02T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0… Mehr…

Versandkosten:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
zuklappen (X)
2
Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 3921)
Bestellen
bei amazon.co.uk
£ 40,52
(ca. € 47,35)
Versand: € 5,611
Bestellen
Details beim Anbieter
gesponserter Link
Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 3921) - Taschenbuch

2006, ISBN: 9783540330455

Editor: Aceto, Luca, Editor: Ingólfsdóttir, Anna, Springer, Paperback, Auflage: 2006, 462 Seiten, Publiziert: 2006-03-16T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 0.65 kg… Mehr…

Gebraucht, wie neu. Versandkosten:Usually dispatched within 13 to 14 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61) BOOKS etc
zuklappen (X)
3
Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 3921)
Bestellen
bei amazon.co.uk
£ 40,52
(ca. € 47,35)
Versand: € 5,611
Bestellen
Details beim Anbieter
gesponserter Link
Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 3921) - Taschenbuch

2006

ISBN: 9783540330455

Editor: Aceto, Luca, Editor: Ingólfsdóttir, Anna, Springer, Paperback, Auflage: 2006, 462 Seiten, Publiziert: 2006-03-16T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 0.65 kg… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61)
zuklappen (X)
4
Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... Science and General Issues, 3921, Band 3921)
Bestellen
bei amazon.de
€ 36,29
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... Science and General Issues, 3921, Band 3921) - Taschenbuch

2010, ISBN: 9783540330455

Series Editor: Ingólfsdóttir, Anna, Springer Berlin Heidelberg, Taschenbuch, Auflage: 2006, 468 Seiten, Publiziert: 2010-06-02T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 1… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
5
Foundations of Software Science and Computational Structures - Luca Aceto; Anna Ingólfsdóttir
Bestellen
bei lehmanns.de
€ 96,29
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Luca Aceto; Anna Ingólfsdóttir:
Foundations of Software Science and Computational Structures - Erstausgabe

2006, ISBN: 9783540330455

Taschenbuch

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,… Mehr…

Versandkosten:Versand in 10-14 Tagen. (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: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... Notes in Computer Science, 3921, Band 3921)
Autor:
Titel:
ISBN-Nummer:

9783540330455


This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 28 revised full papers presented together with one invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections.

Detailangaben zum Buch - Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... Notes in Computer Science, 3921, Band 3921)


EAN (ISBN-13): 9783540330455
ISBN (ISBN-10): 3540330453
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2006
Herausgeber: Aceto, Luca, Springer Berlin Heidelberg
445 Seiten
Gewicht: 0,659 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-06-25T04:47:55+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-06T11:03:45+01:00 (Berlin)
ISBN/EAN: 9783540330455

ISBN - alternative Schreibweisen:
3-540-33045-3, 978-3-540-33045-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: luca
Titel des Buches: foundations software science computational structures, proceedings the 9th international, austria international, march held, computation structures, international conference software, 2006

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-16
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XV, 447 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; 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; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compilers and Interpreters; Software Engineering; Compiler und Übersetzer; EA

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.
< zum Archiv...