Cover Image
Read Now

Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Bibliographic Details
Other Authors: Lau, Kung-Kiu (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2001, 2001
Edition:1st ed. 2001
Series:Lecture Notes in Computer Science
Subjects:
Software Engineering
Mathematical Logic And Formal Languages
Software Engineering/programming And Operating Systems
Computer Programming
Mathematical Logic
Programming Techniques
Artificial Intelligence
Logics And Meanings Of Programs
Computer Logic
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Physical Description:VIII, 188 p online resource
ISBN:9783540451426

Similar Items