Tests and Proofs [electronic resource] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings / edited by Gordon Fraser, Angelo Gargantini.
By: Fraser, Gordon.
Contributor(s): Gargantini, Angelo | SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 6143.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: digital.ISBN: 9783642139772.Subject(s): 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 ComplexityDDC classification: 005.11 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.