11 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, Logic design, Software engineering, Computer software, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Congresses, Information Systems, Management of Computing and Information Systems, Object-oriented methods (computer science), Programming Techniques, System design, Artificial intelligence, Automatic theorem proving, Beweis, Computer software, verification, Formal methods (Computer science), Formale Methode, Information Systems Applications (incl. Internet), Java (Computer program language), Korrektheit, Mathematical Logic and Formal Languages, Object-oriented methods (Computer science), Object-oriented programming (computer science), Objektorientierte ProgrammierungID Numbers
- OLID: OL3179067A
Links (outside Open Library)
No links yet. Add one?
April 30, 2008 | Created by an anonymous user | initial import |