Formal Proofs in Elementary Set Theory
Krishna Suryanarayan
PocketEngelsk
Del av serien SpringerBriefs in Applied Sciences and Technology
Hopp til hovedinnholdet
Logic-Based Program Synthesis and Transformation
Redigert av Elvira Albert, 2013.Del av serien Lecture Notes in Computer Science.
22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
PocketEngelsk
Normalpris: 569,-
512,-
Spar 57,-
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
Oppdag mer
Logic-Based Program Synthesis and Transformation
Redigert av Elvira Albert, 2013.Del av serien Lecture Notes in Computer Science.
22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Oppdag mer
Normalpris: 569,-
512,-
Spar 57,-
PocketEngelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
512,-
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
