Catalogo · 9783528051990
Formale Methoden und kleine Systeme
ISBN 9783528051990
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Formalisieren und Beweisen
Dirk Siefkes
Sozialgeschichte der Informatik
Dirk Siefkes
Pioniere der Informatik
Dirk Siefkes
Gi-4.Jahrestagung
Dirk Siefkes
Büchi's monadic second order successor arithmetic
Dirk Siefkes
Pioniere der Informatik
W. Brauer, Dirk Siefkes, Anette Braun, Peter Eulenhöfer, Heike Stach
Decidable Theories : Vol. 1
Gert H. Müller, Dirk Siefkes
Finite Automata, Their Algebras and Grammars
J. Richard Büchi, Dirk Siefkes
Verba volant · scripta manent