• Home /
  • Formal Methods for an Informal World

Formal Methods for an Informal World

ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
Artikelnummer: 978-3-031-43677-2
Einband: Kartonierter Einband (Kt)
Verfügbarkeit: Folgt in ca. 5 Arbeitstagen
CHF 69.00
decrease increase

Modelling Interactions: Digital and Physical.- Modelling and Analysing Cognition and Interaction.- Object-Centric Process Mining: An Introduction.- Model-based engineering for robotics with RoboChart and RoboTool.- Formal Methods Adoption in Industry: An Experience Report.- Security Research: Program Analysis Meets Security.

Modelling Interactions: Digital and Physical.- Modelling and Analysing Cognition and Interaction.- Object-Centric Process Mining: An Introduction.- Model-based engineering for robotics with RoboChart and RoboTool.- Formal Methods Adoption in Industry: An Experience Report.- Security Research: Program Analysis Meets Security.

Schreiben Sie Ihre eigene Bewertung
  • Nur registrierte Benutzer können Produkte bewerten
*
*
Schlecht
Sehr gut
*
*
*
*
VerlagSpringer
EinbandKartonierter Einband (Kt)
Erscheinungsjahr2023
Seitenangabe184 S.
AusgabekennzeichenEnglisch
MasseH23.5 cm x B15.5 cm x D1.1 cm 289 g
ReiheLecture Notes in Computer Science
AutorCerone, Antonio (Hrsg.)

Alle Bände der Reihe "Lecture Notes in Computer Science"

Über den Autor Antonio (Hrsg.) Cerone

Antonio Cerone, Nazarbayev University, Astana, Kazakhstan

Weitere Titel von Antonio (Hrsg.) Cerone

Produktbewertungen
Nur registrierte Benutzer können Produkte bewerten