251,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in über 4 Wochen
payback
126 °P sammeln
  • Gebundenes Buch

Selected researchers were invited to revise talks they had presented at various AMAST workshops for publication here. The 20 studies cover theoretical aspects of real-time systems, verification methods, synthesis methods, extensions to formal languages, tools, and industrial applications.

Produktbeschreibung
Selected researchers were invited to revise talks they had presented at various AMAST workshops for publication here. The 20 studies cover theoretical aspects of real-time systems, verification methods, synthesis methods, extensions to formal languages, tools, and industrial applications.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.