Εξώφυλλο από Amazon.com
Formal Models of Communicating Systems [electronic resource] Languages, Automata, and Monadic Second-Order Logic by Benedikt Bollig
Τύπος υλικού:
ΚιτΓλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006Περιγραφή: v.: digitalISBN: - 9783540329237
- Software engineering
- Information theory
- Computer science
- Computer software
- Information systems
- Computer Science
- Software Engineering
- Theory of Computation
- Computation by Abstract Devices
- Algorithm Analysis and Problem Complexity
- Mathematical Logic and Formal Languages
- Information Systems and Communication Service
| Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
|---|---|---|---|---|---|
Electronic Resource
|
ΒΚΠ - Πατρα | Διαθέσιμο |
