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 - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540609391 - 6 maart 1996
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
$ 68,89

Besteld in een afgelegen magazijn

Verwachte levering 23 mei - 3 jun.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 6 maart 1996
ISBN13 9783540609391
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 274
Afmetingen 156 × 234 × 15 mm   ·   399 g
Uitgever Proietti, Maurizio
Alles tonen

Meer door Maurizio Proietti

Bekijk alles van Maurizio Proietti ( bijv. Book en Paperback Book )