Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Foundations of Software Science and Computation Structures

Name: Foundations of Software Science and Computation Structures
Brand: Springer, Berlin
SKU: 45117083
Price: 41.26 EUR
Availability: InStock
Author: Naoki Kobayashi
ISBN: 9783031572302

27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Naoki Kobayashi

James Worrell

Jezik

Engleski

Knjiga Tvrdi uvez

Libristo kod: 45117083

Nakladnici Springer, Berlin, lipanj 2024

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th Internationa... Cijeli opis

Libristo kod: 45117083

100 b

41.26 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Die Symptome der Krankheiten des Respirations- und Circulations-Apparats Ludwig Traube

Tvrdi uvez

40.05 €

Los estilos de aprendizaje Juan Varela Resendiz

Meki uvez

38.64 €

Graphing Practice: Math Reader 5 Grade 5

Meki uvez

10.18 €

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.