7 works Add another?
Sorted by:
Most Editions
|
First Published
|
Most Recent
|
Top Rated
|
Reading Log
|
Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Computer science, Congresses, Symbolic and mathematical Logic, Abstrakte Zustandsmaschine, Automatentheorie, Berechenbarkeit, Computer networks, Computer science, mathematics, Computer software, Computer software, quality control, Computer software, reliability, Decidability (mathematical logic), Formal methods (Computer science), Formale Methode, Information theory, Komplexitätstheorie, Logic design, Logic, Symbolic and mathematical, Machine theory, Mathematics, Mathematische Logik, Programming languages (Electronic computers), Programming languages (electronic computers), Programmverifikation, SemanticsID Numbers
- OLID: OL2682638A
Links (outside Open Library)
No links yet. Add one?
April 29, 2008 | Created by an anonymous user | initial import |