Logic-based program synthesis and transformation 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
Enregistré dans:
Autres auteurs: | |
---|---|
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!
|
Soyez le premier à ajouter un commentaire!