• Produktbild: Formal Modeling and Analysis of Timed Systems
  • Produktbild: Formal Modeling and Analysis of Timed Systems
Band 13465

Formal Modeling and Analysis of Timed Systems 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings

55,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.08.2022

Herausgeber

Sergiy Bogomolov + weitere

Verlag

Springer

Seitenzahl

307

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

493 g

Auflage

1st edition 2022

Sprache

Englisch

ISBN

978-3-031-15838-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.08.2022

Herausgeber

Verlag

Springer

Seitenzahl

307

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

493 g

Auflage

1st edition 2022

Sprache

Englisch

ISBN

978-3-031-15838-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Formal Modeling and Analysis of Timed Systems
  • Produktbild: Formal Modeling and Analysis of Timed Systems
  • Invited Papers.- Probabilistic and Timed Systems.- Temporal Logic.- Timed Automata and Games.- Neural Networks.- Reinforcement Learning.