Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	Juni 2026
Genre:	EDV / Informatik
	Artificial Intelligence / automata theory / Betriebssysteme / Computer Communication Networks / Concurrency / Distributed systems / formal methods / formal verification / Künstliche Intelligenz / model checking / Netzwerk-Hardware / Operating systems / process calculi / Proof Assistants / protocol verification / runtime verification / Session Types / Software Engineering / temporal logic / Theoretische Informatik / Theory of Computation / timed automata / type systems mehr...
ISBN:	9783032281869
EAN-Code:	9783032281869
Verlag:	Springer International Publishing
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Seiten:	278
Illustration:	X, 278 p. 169 illus., 49 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 book constitutes the refereed proceedings of the 46th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2026, held in Urbino, Italy, as part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, during June 8–12, 2026. The 12 full papers, 1 short paper and 2 tool papers included in this book were carefully reviewed and selected from 27 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed system.