Jetzt Foundations of Software Science and Computation St von Nathalie Bertrand und Stefan Milius als Buch bei 1Advd.ch kaufen

Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!

Übersicht

Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	April 2026
Genre:	EDV / Informatik
	Algorithmen und Datenstrukturen / categorical models and logics / Computer System Implementation / concurrency theory and process calculi / Data Structures and Information Theory / emerging models of computation / Informationstheorie / language theory, automata, and games / logical aspects of computational complexity / logical foundations of data bases / logics of programming / Mathematical Logic and Foundations / Mathematics of Computing / Mathematik für Informatiker / Mathematik# Logik / mathematische Grundlagen / modal, spatial, and temporal logics / models of concurrent, reactive, and stochastic systems / models of distributed, hybrid, and mobile systems / models of software security / Open Access / program analysis, correctness, transformation, and verification / Rewriting theory / semantics of programming languages / software specification and refinement / Systemanalyse und -design / Theory of Computation / type theory and proof theory mehr...
ISBN:	9783032227294
EAN-Code:	9783032227294
Verlag:	Springer International Publishing
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Seiten:	660
Illustration:	XVII, 660 p. 314 illus., 223 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This open access book constitutes the proceedings of the 29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.

The 30 papers included in these proceedings were carefully reviewed and selected from 104 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

Weitere Tipps:		0 Warenkorb ansehen


SUCHEN