Catalogo · 9780198538547
Specification and validation methods
ISBN 9780198538547
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2
M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, Thomas, W.
Logic and Machines: Decision Problems and Complexity
E. Börger, G. Hasenjaeger, D. Rödding
CSL '89
Workshop on Computer Science Logic (3rd 1989 Kaiserslautern, Germany), E. Borger, H. Kleine Buning
Computability, complexity, logic
E. Börger
Zur Philosophie der mathematischen Erkenntnis
E. Börger
Trends in theoretical computer science
E. Börger
The classical decision problem
E. Börger
Formal methods for industrial applications
Jean-Raymond Abrial, E. Börger
CSL '88
E. Borger, H. Kleine Buning
Csl 87
E. Borger
Computation theory and logic
E. Börger
Dostoevsky and Kant
Evgenia Cherkasova
Verba volant · scripta manent