Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers (Lecture Notes in Computer Science)
53.49 EUR
Der Band aus dem LOPSTR‑Symposium 2009 in Coimbra bietet einen tiefen Einblick in logikbasierte Programmsynthese, zeigt innovative Transformationstechniken und diskutiert aktuelle theoretische Fortschritte im Bereich formaler Methoden.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE 
