Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings edited by Javier Esparza, Rupak Majumdar
Τύπος υλικού:![Κιτ](/opac-tmpl/lib/famfamfam/MX.png)
- 9783642120022
- Computer science
- Computer Communication Networks
- Software engineering
- Logic design
- Computer Science
- Software Engineering
- Logics and Meanings of Programs
- Computer Communication Networks
- Programming Languages, Compilers, Interpreters
- Artificial Intelligence (incl. Robotics)
- Programming Techniques
- Τεχνητή νοημοσύνη
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα | Διαθέσιμο |