SULJE VALIKKO

avaa valikko

German Puebla | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?



Logic-Based Program Synthesis and Transformation - 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, R
Germán Puebla
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Static Analysis - 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
Manuel Hermenegildo; German Puebla
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2002)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic-Based Program Synthesis and Transformation - 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, R
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 240 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007
Julkaisuvuosi: 2007, 16.03.2007 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers cover tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Logic-Based Program Synthesis and Transformation - 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, R
Näytä kaikki tuotetiedot
ISBN:
9783540714095
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste