Tipsa dina vänner om produkten:
Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science
Maurizio Proietti
Pris
SEK 749
Beställningsvara
Förväntad leverans 28 maj - 7 jun
Lägg till din iMusic-önskelista
Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science
Maurizio Proietti
These conference proceedings offer an up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Topics addressed include deductive and inductive program synthesis and synthesis models based on constructive type theory.
274 pages, biography
Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
Releasedatum | 6 mars 1996 |
ISBN13 | 9783540609391 |
Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
Antal sidor | 274 |
Mått | 156 × 234 × 15 mm · 399 g |
Redaktör | Proietti, Maurizio |
Visa alla
Fler produkter med Maurizio Proietti
Se alt med Maurizio Proietti ( t.ex. Bok och Pocketbok )