Von dem Buch Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences . General Issues Book 12077) (English Edition) haben wir 4 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Jean Goubault-Larrecq, Barbara König: Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences . General Issues Book 12077) (English Edition) (ISBN: 9783030452315) 2020, Goubault-Larrecq, Jean, König, Barbara, Springer, Erstausgabe, in Deutsch, auch als eBook.Nur diese Ausgabe anzeigen…
74%: Jean Goubault-Larrecq; Barbara König: Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conference (ISBN: 9783030452308) in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
58%: Jean Goubault-Larrecq, Barbara Koenig: Foundations of Software Science and Computation Structures (Paperback) (ISBN: 9781013277306) Saint Philip Street Press, United States, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
58%: Jean Goubault-Larrecq/ Barbara König: Foundations of Software Science and Computation Structures (ISBN: 9781013277313) in Englisch, Broschiert.Nur diese Ausgabe anzeigen…
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences . General Issues Book 12077) (English Edition)
11 Angebote vergleichen
1
Symbolbild
Foundations of Software Science and Computation Structures (Paperback) (2020)
~EN PB NWISBN: 9781013277306 bzw. 1013277309, vermutlich in Englisch, Saint Philip Street Press, United States, Taschenbuch, neu.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, Free shipping.
Von Händler/Antiquariat, Book Depository International [58762574], London, United Kingdom.
Language: English. Brand new Book. This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.? This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.
Von Händler/Antiquariat, Book Depository International [58762574], London, United Kingdom.
Language: English. Brand new Book. This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.? This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.
2
Symbolbild
Foundations of Software Science and Computation Structures (Paperback) (2020)
~EN PB NWISBN: 9781013277306 bzw. 1013277309, vermutlich in Englisch, Saint Philip Street Press, United States, Taschenbuch, neu.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, Free shipping.
Von Händler/Antiquariat, Book Depository hard to find [63688905], London, United Kingdom.
Language: English. Brand new Book. This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.? This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.
Von Händler/Antiquariat, Book Depository hard to find [63688905], London, United Kingdom.
Language: English. Brand new Book. This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.? This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.
3
Symbolbild
Foundations of Software Science and Computation Structures (2017)
~EN PB NW RPISBN: 9781013277306 bzw. 1013277309, vermutlich in Englisch, Saint Philip Street Press, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, Ria Christie Collections [59718070], Uxbridge, United Kingdom.
PRINT ON DEMAND Book; New; Publication Year 2017; Fast Shipping from the UK.
PRINT ON DEMAND Book; New; Publication Year 2017; Fast Shipping from the UK.
4
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences . General Issues Book 12077) (English Edition) (2020)
DE NW FE EB DLISBN: 9783030452315 bzw. 303045231X, in Deutsch, Goubault-Larrecq, Jean, König, Barbara, Springer, neu, Erstausgabe, E-Book, elektronischer Download.
Lieferung aus: Deutschland, E-Book zum Download, Versandkostenfrei.
Von Händler/Antiquariat, Amazon Media EU S.à r.l.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon Media EU S.à r.l.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Foundations of Software Science and Computation Structures
~EN PB NWISBN: 1013277309 bzw. 9781013277306, vermutlich in Englisch, Saint Philip Street Press, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Foundations of Software Science and Computation Structures
~EN HC NWISBN: 1013277317 bzw. 9781013277313, vermutlich in Englisch, Saint Philip Street Press, gebundenes Buch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conference
~EN PB NWISBN: 9783030452308 bzw. 3030452301, vermutlich in Englisch, Springer International Publishing, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten.
Foundations of Software Science and Computation Structures,Jean Goubault Larrecq.
Foundations of Software Science and Computation Structures,Jean Goubault Larrecq.
9
Foundations of Software Science and Computation Structures
~EN PB NWISBN: 9783030452308 bzw. 3030452301, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Japan, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Symbolbild
Foundations of Software Science Computation Structures (2020)
~EN PB NWISBN: 9781013277306 bzw. 1013277309, vermutlich in Englisch, Saint Philip Street Press, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, plus shipping, Shipping area: STOCKNEW.
Von Händler/Antiquariat, Alibris, NV, Sparks, [RE:5].
Trade paperback.
Von Händler/Antiquariat, Alibris, NV, Sparks, [RE:5].
Trade paperback.
Lade…