Tools and Algorithms for the Construction and Analysis of Systems 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

Tools and Algorithms for the Construction and Analysis of Systems 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

Show other versions (1)
Bibliographic Details
Main Author: Esparza, Javier
Corporate Author: SpringerLink (Online service)
Other Authors: Majumdar, Rupak
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 6015
Subjects:
Computer science
Computer Communication Networks
Software engineering
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Artificial Intelligence (incl. Robotics)
Programming Techniques
Τεχνητή νοημοσύνη
Online Access:http://dx.doi.org/10.1007/978-3-642-12002-2

Similar Items

Similar Items