Trefferliste "Formal Methods" - alle Bücher, LPs, CDs und mehr

Ihre Suche nach "Formal Methods" (Bücher, LPs, CDs und mehr) ergab 65 Treffer.

Security and Trust Management

This book constitutes the refereed proceedings of the 20th International Workshop on Security and Trust Management (ERCIM STM 2024), held in Bydgoszcz, Poland, during September 19-20, 2024 and co-located …

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Computing

This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-…

lieferbar innerhalb 2-3 Wochen

Buch

Bridging the Gap Between AI and Reality

This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 202…

lieferbar innerhalb 2-3 Wochen

Buch

Real Time and Such

This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems.Wang Yi received a PhD in Computer Science from Chalmer…

lieferbar innerhalb 2-3 Wochen

Buch

Components Operationally: Reversibility and System Engineering

Lecture Notes in Computer Science - Band 16065

This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems.From 2001 to …

lieferbar ab 6.10.2025.

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.