Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings

Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings

Bibliographic Details
Main Author: Fraser, Gordon
Corporate Author: SpringerLink (Online service)
Other Authors: Gargantini, Angelo
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 6143
Subjects:
Computer science
Software engineering
Computer software
Logic design
Computer Science
Programming Techniques
Logics and Meanings of Programs
Software Engineering
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Algorithm Analysis and Problem Complexity
Online Access:http://dx.doi.org/10.1007/978-3-642-13977-2

Internet

http://dx.doi.org/10.1007/978-3-642-13977-2

ΒΚΠ - Πατρα: Unknown

Holdings details from ΒΚΠ - Πατρα: Unknown
Call Number: Unknown
Copy Unknown Available

Similar Items