Articoli correlati a 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 ... 6–11, 2024, Proceedings, Part I: 14574 - Brossura

 
9783031572272: Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint ... 6–11, 2024, Proceedings, Part I: 14574

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Risultati della ricerca per Foundations of Software Science and Computation Structures:...

Immagini fornite dal venditore

ISBN 10: 3031572270 ISBN 13: 9783031572272
Nuovo Kartoniert / Broschiert

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Kartoniert / Broschiert. Condizione: New. Codice articolo 1429714517

Contatta il venditore

Compra nuovo

EUR 39,60
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

James Worrell
ISBN 10: 3031572270 ISBN 13: 9783031572272
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 296 pp. Englisch. Codice articolo 9783031572272

Contatta il venditore

Compra nuovo

EUR 42,79
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

James Worrell
ISBN 10: 3031572270 ISBN 13: 9783031572272
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: 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. Codice articolo 9783031572272

Contatta il venditore

Compra nuovo

EUR 42,79
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

James Worrell
ISBN 10: 3031572270 ISBN 13: 9783031572272
Nuovo Taschenbuch

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: 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 296 pp. Englisch. Codice articolo 9783031572272

Contatta il venditore

Compra nuovo

EUR 42,79
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2024
ISBN 10: 3031572270 ISBN 13: 9783031572272
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783031572272_new

Contatta il venditore

Compra nuovo

EUR 48,24
Convertire valuta
Spese di spedizione: EUR 10,42
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2024
ISBN 10: 3031572270 ISBN 13: 9783031572272
Nuovo Brossura

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. 2024th edition NO-PA16APR2015-KAP. Codice articolo 26401136973

Contatta il venditore

Compra nuovo

EUR 63,59
Convertire valuta
Spese di spedizione: EUR 7,64
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2024
ISBN 10: 3031572270 ISBN 13: 9783031572272
Nuovo Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Print on Demand. Codice articolo 396321426

Contatta il venditore

Compra nuovo

EUR 63,67
Convertire valuta
Spese di spedizione: EUR 10,26
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2024
ISBN 10: 3031572270 ISBN 13: 9783031572272
Nuovo Brossura
Print on Demand

Da: Biblios, Frankfurt am main, HESSE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. PRINT ON DEMAND. Codice articolo 18401136967

Contatta il venditore

Compra nuovo

EUR 67,69
Convertire valuta
Spese di spedizione: EUR 7,95
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Foto dell'editore

Kobayashi, Naoki (Editor)/ Worrell, James (Editor)
ISBN 10: 3031572270 ISBN 13: 9783031572272
Nuovo Paperback

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 296 pages. 9.25x6.10x9.21 inches. In Stock. Codice articolo x-3031572270

Contatta il venditore

Compra nuovo

EUR 70,95
Convertire valuta
Spese di spedizione: EUR 11,59
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Naoki Kobayashi
ISBN 10: 3031572270 ISBN 13: 9783031572272
Nuovo Paperback

Da: CitiRetail, Stevenage, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: new. Paperback. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9783031572272

Contatta il venditore

Compra nuovo

EUR 52,50
Convertire valuta
Spese di spedizione: EUR 34,76
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello