Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /

Bibliographic Details
Published in:Springer eBooks
Main Author: Hutchison, David
Corporate Author: SpringerLink (Online service)
Other Authors: Audebaud, Philippe, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Paulin-Mohring, Christine, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science
Logic design
Software engineering
Computation by Abstract Devices
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
Online Access:http://dx.doi.org/10.1007/978-3-540-70594-9
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/978-3-540-70594-9
Перейти в каталог НБ ТГУ

Similar Items