Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /

Bibliographic Details
Published in:Springer e-books
Main Author: Comon-Lundh, Hubert
Corporate Author: SpringerLink (Online service)
Other Authors: Kirchner, Claude, Kirchner, Hélène
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science
Logic design
Software engineering
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Online Access:http://dx.doi.org/10.1007/978-3-540-73147-4
Перейти в каталог НБ ТГУ

Internet

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

Similar Items