Hauptmenü
  • Autor
    • Khalimov, Ayrat
  • TitelReactive synthesis
  • Zusatz z. Titelbranching logic & parameterized systems
  • Datei
  • Beschreibungviii, 130 Seiten
  • BeschreibungIllustrationen, Diagramme
  • ISBNBroschur
  • ZugriffsrechteAuch außerhalb des TU-Netzes nutzbar