Logic-based Program Synthesis and Transformation: 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998, Selected Papers - Lecture Notes in Computer Science - P Flener - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540657651 - 24 mars 1999
Om omslag och titel inte matchar är det titeln som gäller

Logic-based Program Synthesis and Transformation: 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998, Selected Papers - Lecture Notes in Computer Science

P Flener

Pris
₪ 256,52

Beställningsvara

Förväntad leverans 9 - 20 maj
Lägg till din iMusic-önskelista
Eller

Logic-based Program Synthesis and Transformation: 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998, Selected Papers - Lecture Notes in Computer Science

This text presents the refereed post-workshop proceedings of the 8th International Workshop on Logic Based Program Synthesis and Transformation. Among the topics covered are logic specification, mathematical program construction, logic programming and constraint logic programs.


338 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 24 mars 1999
ISBN13 9783540657651
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 338
Mått 156 × 234 × 18 mm   ·   485 g
Redaktör Flener, Pierre