- 5 Ergebnisse
Kleinster Preis: € 48,45, größter Preis: € 55,60, Mittelwert: € 52,60
1
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)
Bestellen
bei amazon.de
€ 51,98
Versand: € 3,001
Bestellengesponserter Link

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…

Versandkosten:De verzendkosten kunnen afwijken van de werkelijke kosten. (EUR 3.00)
2
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 - Gordon, Andrew D. (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellengesponserter Link

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 Buch

2003, ISBN: 3540008977

2003 Kartoniert / Broschiert EDV / Theorie / Allgemeines, Informatik, Software Engineering, Theoretische Informatik, Automat; automata; computationalstructures; formalmethods; formalver… Mehr…

Versandkosten:Geen versendingskosten in Duitsland. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
3
Foundations of Software Science and Computational Structures - Gordon, Andrew D.
Bestellen
bei booklooker.de
€ 48,45
Versand: € 0,001
Bestellengesponserter Link
Gordon, Andrew D.:
Foundations of Software Science and Computational Structures - Erstausgabe

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…

Versandkosten:Geen verzendingskosten. (EUR 0.00) Moluna GmbH
4
Foundations of Software Science and Computational Structures
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 7,501
Bestellengesponserter Link
Foundations of Software Science and Computational Structures - Taschenbuch

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…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., plus verzendkosten. (EUR 7.50)
5
Foundations of Software Science and Computational Structures - Andrew D. Gordon
Bestellen
bei lehmanns.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Andrew D. Gordon:
Foundations of Software Science and Computational Structures - Erstausgabe

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…

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)

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

This book constitutes the refereed proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2003, held in Warsaw, Poland in April 2003.The 26 revised full papers presented together with an invited paper were carefully reviewed and selected from 96 submissions. Among the topics covered are algebraic models; automata and language theory; behavioral equivalences; categorical models; computation processes over discrete and continuous data; computation structures; logics of programs; models of concurrent, reactive, distributed, and mobile systems; process algebras and calculi; semantics of programming languages; software specification and refinement; transition systems; and type systems and type theory.

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

< zum Archiv...