Hauptmenü
  • Autor
    • Maderbacher, Benedikt
  • TitelProof-based development of actor systems
  • Datei
  • Beschreibungxi, 134 Seiten
  • BeschreibungIllustrationen
  • ZugriffsrechteAuch außerhalb des TU-Netzes nutzbar