1.
Formalisieren und Beweisen: Logik fr Informatiker (Lehrbuch Informatik) (German Edition)
by Dirk Siefkes
ISBN: 9783528147570
List Price: $69.95
2.
3.
Formalisieren und Beweisen: Logik fr Informatiker (Lehrbuch Informatik) (German Edition)
by Dirk Siefkes
ISBN: 9783528047573
List Price: $69.95
4.
Finite Automata, Their Algebras and Grammars : Towards a Theory of Formal Expressions
by B�chi, J. Richard, Siefkes,...
ISBN: 9781461388555
List Price: $99.00
6.
Collected Works of J. Richard Buchi
by Richard Buchi, J., Mac Lane...
ISBN: 9781461389293
List Price: $24.99
OUT OF STOCK
See Availability on Amazon7.
Bchi's Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics) (German Edit...
by Dirk Siefkes
ISBN: 9783662358481
List Price: $69.99
8.
GI-4.Jahrestagung: Berlin, 9.-12. Oktober 1974 (Lecture Notes in Computer Science) (German E...
by Dirk Siefkes
ISBN: 9783662391044
List Price: $69.99
9.
Formale Methoden und Kleine Systeme : Lernen, Leben und Arbeiten in Formalen Umgebungen
by Siefkes, Dirk
ISBN: 9783528051990
OUT OF STOCK
See Availability on Amazon10.
Finite Automata, Their Algebras and Grammars : Towards a Theory of Formal Expressions
by B�chi, J. Richard, Siefkes,...
ISBN: 9781461388548
List Price: $39.99