- 5 Ergebnisse
Kleinster Preis: € 79,72, größter Preis: € 90,55, Mittelwert: € 84,07
1
Foundations of Software Science and Computational Structures - Andrew D. Gordon
Bestellen
bei Springer.com
$ 99,00
(ca. € 82,19)
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Andrew D. Gordon:

Foundations of Software Science and Computational Structures - neues Buch

ISBN: 9783540365761

Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, I… Mehr…

  - Versandkosten: EUR 0.00
zuklappen (X)
2
Foundations of Software Science and Computational Structures - Andrew D. Gordon
Bestellen
bei Springer.com
€ 79,72
Bestellen
Details und Versand
gesponserter Link

Andrew D. Gordon:

Foundations of Software Science and Computational Structures - neues Buch

ISBN: 9783540365761

Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, I… Mehr…

  - Versandkosten:zzgl. Versandkosten.
zuklappen (X)
3
Bestellen
bei lehmanns.de
€ 90,55
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Andrew D. Gordon:
Foundations of Software Science and Computational Structures - neues Buch

2003

ISBN: 9783540365761

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

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
4
Bestellen
bei hive.co.uk
£ 72,68
(ca. € 85,54)
Bestellen
Details und Versand
gesponserter Link
Takenobu Tokunaga:
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, - neues Buch

2003, ISBN: 9783540365761

; PDF \ Takenobu Tokunaga; Computing > Computer programming / software development, Springer Berlin Heidelberg

  - No. 9783540365761 Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten
zuklappen (X)
5
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, - Louis A. Gottschalk
Bestellen
bei hive.co.uk
£ 72,68
(ca. € 82,37)
Bestellen
Details und Versand
gesponserter Link
Louis A. Gottschalk:
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, - neues Buch

2003, ISBN: 9783540365761

; PDF; Computing > Computer programming / software development, Springer Berlin Heidelberg

  - No. 9783540365761. Versandkosten:Instock, Despatched same working day before 3pm, 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
Autor:
Titel:
ISBN-Nummer:

9783540365761

Detailangaben zum Buch - Foundations of Software Science and Computational Structures


EAN (ISBN-13): 9783540365761
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-01-15T10:01:53+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-10T18:23:23+02:00 (Berlin)
ISBN/EAN: 9783540365761

ISBN - alternative Schreibweisen:
978-3-540-36576-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: gottschalk, gordon, springer louis
Titel des Buches: foundations science, international conference software, structures

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-07-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 440 p.

EA; E107; eBook; Nonbooks, PBS / 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; C; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Computer Science; Software Engineering; Compiler und Übersetzer; BC

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