Logic-based program synthesis and transformation 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /

Enregistré dans:
Détails bibliographiques
Autres auteurs: Hutchison, David
Format: eBook
Langue:English
Publié: Berlin, Heidelberg Springer Berlin Heidelberg 2009.
Collection:Lecture Notes in Computer Science, 5438
Sujets:
Accès en ligne:Click here to view the full text content
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!