Verwandte Artikel zu Foundations of Software Science and Computation Structures:...
Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint ... Computer Science and General Issues) - Softcover
Reseña del editor
This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2017
- ISBN 10 3662544571
- ISBN 13 9783662544570
- EinbandTapa blanda
- SpracheEnglisch
- Auflage1
- Anzahl der Seiten588
- HerausgeberEsparza Javier, Murawski Andrzej S.
Neu kaufen
Diesen Artikel anzeigen
EUR 62,25
EUR 14,25 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Suchergebnisse für Foundations of Software Science and Computation Structures:...
Beispielbild für diese ISBN
Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint ... Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783662544570_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory. Artikel-Nr. 9783662544570
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Foundations of Software Science and Computation Structures: 20th International Conference, Fossacs 2017, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2017, Uppsala, S
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 588 pages. 9.25x6.10x1.33 inches. In Stock. Artikel-Nr. x-3662544571
Anzahl: 2 verfügbar