Verification of Automata with Storage Mechanisms

Produktinformationen

260 Seiten , Format 17,0 x 24,0
Universitätsverlag Ilmenau
Paperback ISBN: 978-3-86360-265-9

Erscheinungsdatum

Dezember 2022

Kategorie: Unkategorisiert