Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Concurrency, Specification and Programming

Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
BuchKartoniert, Paperback
Verkaufsrang37105in
CHF198.00

Beschreibung

This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation.
Weitere Beschreibungen

Details

ISBN/GTIN978-3-031-26653-9
ProduktartBuch
EinbandKartoniert, Paperback
VerlagSpringer
Erscheinungsdatum06.05.2024
Auflage2023
ReiheStudies in Computational Intelligence
Reihen-Nr.1091
Seiten244 Seiten
SpracheEnglisch
MasseBreite 155 mm, Höhe 235 mm, Dicke 14 mm
Gewicht376 g
Artikel-Nr.50481701
KatalogBuchzentrum
Datenquelle-Nr.46604514
Weitere Details

Reihe

Autor

Schlagworte