Computer Aided Verification by Tayssir Touili
and-
To the Ends of the Earth
-
Computational Logic in Multi-Agent Systems
-
Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems
-
Computational and Corpus-Based Phraseology
-
Replication
-
Autonomous Intelligent Systems: Multi-Agents and Data Mining
-
Genetic Programming
-
Transactional Agents
-
Computer Safety, Reliability, and Security
-
Performance Evaluation of Complex Systems: Techniques and Tools
-
Evolutionary Computation in Combinatorial Optimization
-
Computer Vision – ECCV 2026
-
Latent Variable Analysis and Signal Separation
-
Algorithms in Bioinformatics
-
Computer Security - ESORICS 2010
-
HCI in Work and Learning, Life and Leisure
-
Automata, Languages and Programming
-
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops
-
Euro-Par 2026: Parallel Processing
-
Parallel Problem Solving from Nature – PPSN XIX
-
Blockchain – ICBC 2026
-
Electronic Participation
-
Software Engineering and Advanced Applications
-
Computer Safety, Reliability, and Security. SAFECOMP 2026 Workshops
-
Electronic Government
-
Document Analysis and Recognition – ICDAR 2026
-
Spatial Cognition XIV
-
Metaverse - METAVERSE 2026
| SKU | Unavailable |
| ISBN 13 | 9783642142949 |
| ISBN 10 | 364214294X |
| Title | Computer Aided Verification |
| Author | Tayssir Touili |
| Series | Lecture Notes In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2010-06-30 |
| Number of pages | 676 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |