Theoretical Aspects of Computing - ICTAC 2012
Produktnummer:
18e348ae4f82cf4f6d871ef38c8f070c69
| Themengebiete: | automata automated verification formal methods model checking semantics |
|---|---|
| Veröffentlichungsdatum: | 07.08.2012 |
| EAN: | 9783642329425 |
| Sprache: | Englisch |
| Seitenzahl: | 259 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | D´Souza, Meenakshi Roychoudhury, Abhik |
| Verlag: | Springer Berlin |
| Untertitel: | 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings |
Produktinformationen "Theoretical Aspects of Computing - ICTAC 2012"
This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012. The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen