Tests and Proofs [electronic resource] : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings / edited by Martin Gogolla, Burkhart Wolff.
By: Gogolla, Martin.
Contributor(s): Wolff, Burkhart | SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 6706.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Description: digital.ISBN: 9783642217685.Subject(s): Computer science | Software engineering | Logic design | Computer Science | Software Engineering | Programming Techniques | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Programming Languages, Compilers, InterpretersDDC classification: 005.1 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.