Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Proceedings of the 8th International Conference on Tests and Proofs

  • Martina Seidl (Herausgeber*in)
  • , Nikolai Tillmann (Herausgeber*in)

Publikation: BuchSammelwerk

OriginalspracheDeutsch (Österreich)
VerlagSpringer
ISBN (Print)978-3-319-09098-6
DOIs
PublikationsstatusVeröffentlicht - 2014

Publikationsreihe

NameLecture Notes in Computer Science (LNCS)

Wissenschaftszweige

  • 102 Informatik
  • 603109 Logik
  • 202006 Computer Hardware

JKU-Schwerpunkte

  • Computation in Informatics and Mathematics

Dieses zitieren