Beschreibung
Produktdetails
| Mitarbeit | Patricia M. Hill (Herausgeber) |
| Verlag | Springer EN |
| Sprache | Englisch |
| Produktform | Taschenbuch |
| Erschienen | 23.03.2006 |
| EAN | 9783540326540 |
| ISBN | 978-3-540-32654-0 |
| Seiten | 182 |
| Gewicht | 630 g |
| Illustration | X, 182 p. |
| Serien |
Lecture Notes in Computer Science Theoretical Computer Science and General Issues |
| Themen |
Naturwissenschaften, Medizin, Informatik, Technik
> Informatik, EDV
> Informatik
C, Künstliche Intelligenz, Artificial Intelligence, Computerprogrammierung und Softwareentwicklung, computer science, Verification, Logics and Meanings of Programs, Programming Techniques, Computer programming, Mathematical theory of computation, Computer programming / software engineering, Mathematical logic, Mathematical Logic and Formal Languages, Computer architecture & logic design, Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, program verification |
Kundenrezensionen
Zu diesem Artikel wurden noch keine Rezensionen verfasst. Schreibe die erste Bewertung und sei anderen Benutzern bei der Kaufentscheidung behilflich.
Schreibe eine Rezension
Top oder Flop? Schreibe deine eigene Rezension.