Normal view
MARC view
Mathematics of Program Construction Электронный ресурс 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings edited by Tarmo Uustalu.
Material type:
Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006ISBN: 9783540356325Subject(s): Computer Science | Computer science | Computer science | Logic design | Software engineering | Computer Science | Computation by Abstract Devices | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Programming Languages, Compilers, Interpreters | Software EngineeringOnline resources: Click here to access online
In:
Springer e-books
No physical items for this record
There are no comments on this title.