Logic Based Program Synthesis and Transformation: 15Th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : Revised Selected Papers (Lecture notes in computer science, LNCS sublibrary. SL 1, Theoretical computer science and general issues 3901)
- Författare
- Patricia M. Hill
- Genre
- Electronic books
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer Verlag | 2006 | Utgivningsland okänt / Ej specificerat |