Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001

Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001
Год
 
Страниц
 
274
ISBN
 
ISBN10:3540439153
Издатель
 
Springer

Описание:

Proceedings of the 11th Intl Workshop, LOPSTR 2001 held November 28-30, 2001 in Paphos, Cyprus. Selected papers on topical sections on program transformation and equivalence, program verification, program analysis, development, and program synthesis. Softcover.

Похожие книги

Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000
Год: 2001
Effects of an Inner City Preschool on AchievementEffects of an Inner City Preschool on Achievement
Автор: Richard McElroy
Год: 2010
Manage Traffic Speed, Save Money and LivesManage Traffic Speed, Save Money and Lives
Автор: Greg G. Chen
Год: 2010
Algorithm 419: Zeros of a complex polynomialAlgorithm 419: Zeros of a complex polynomial
Автор: Jenkins, Traub.
Год: 1972
The Rebirth of the Russian Space Program: 50 Years after Sputnik, New FrontiersThe Rebirth of the Russian Space Program: 50 Years after Sputnik, New Frontiers
Автор: Harvey B.
Год: 2007
Program Evaluation: Methods and Case Studies (7th Edition)Program Evaluation: Methods and Case Studies (7th Edition)
Автор: Emil J Posavac, Raymond Carey
Год: 2006