Verwandte Artikel zu Foundations of Software Science and Computation Structures:...
Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint ... II: 14575 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.
The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:
Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.
The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:
Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 39,60
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Foundations of Software Science and Computation Structures:...
Foto des Verkäufers
Foundations of Software Science and Computation Structures
ISBN 10: 3031572300
ISBN 13: 9783031572302
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Kartoniert / Broschiert. Zustand: New. Artikel-Nr. 1429714518
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Foundations of Software Science and Computation Structures
ISBN 10: 3031572300
ISBN 13: 9783031572302
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch. Artikel-Nr. 9783031572302
Anzahl: 2 verfügbar
Foto des Verkäufers
Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6¿11, 2024, Proceedings, Part II
Verlag:
Springer Nature Switzerland, 2024
ISBN 10: 3031572300
ISBN 13: 9783031572302
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the27th International Conference onFoundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:Part I: Infinite games; categorical semantics; automata and synthesis;Part II: Types and programming languages; logic and proofs; infinite-state systems. Artikel-Nr. 9783031572302
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. 288 pages. 9.25x6.10x9.33 inches. In Stock. Artikel-Nr. __3031572300
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. 288 pages. 9.25x6.10x9.33 inches. In Stock. Artikel-Nr. x-3031572300
Anzahl: 2 verfügbar