Del 14574 i serien Lecture Notes in Computer Science
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 I
Häftad, Engelska, 2024
579 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (10)
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.
Produktinformation
- Utgivningsdatum2024-04-05
- Mått155 x 235 x 17 mm
- Vikt452 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor280
- Upplaga2024
- FörlagSpringer International Publishing AG
- ISBN9783031572272
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Functional and Logic Programming
Matthias Blume, Naoki Kobayashi, Germán Vidal-Oriola
Häftad, 2010
749 kr
Concurrent Objects and Beyond
Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura
Häftad, 2014
749 kr
Automata, Languages, and Programming
Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann
Häftad, 2015
749 kr
Automata, Languages, and Programming
Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann
Häftad, 2015
1 479 kr
Hoppa över listan
Mer från samma serie
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
749 kr
Del 16375
Del 16376
Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 219 kr
Del 15401
Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops
Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi
Häftad, 2025
969 kr
Hoppa över listan
Du kanske också är intresserad av
Del 14575
Foundations of Software Science and Computation Structures
Naoki Kobayashi, James Worrell
Häftad, 2024
579 kr
Foundations of Software Science and Computation Structures
Bart Jacobs, Christof Löding
Häftad, 2016
749 kr
Del 15691
Foundations of Software Science and Computation Structures
Parosh Aziz Abdulla, Delia Kesner
Häftad, 2025
579 kr
Del 16503
Foundations of Software Science and Computation Structures
Nathalie Bertrand, Stefan Milius
Häftad, 2026
579 kr
Foundations of Software Science and Computation Structures
Furio Honsell, Marino Miculan
Häftad, 2001
749 kr
Del 12650
Foundations of Software Science and Computation Structures
Stefan Kiefer, Christine Tasson
Häftad, 2021
599 kr
Foundations of Software Science and Computation Structures
Javier Esparza, Andrzej S. Murawski
Häftad, 2017
749 kr