Related Books
Language: en
Pages: 257
Pages: 257
Type: BOOK - Published: 2012-09-08 - Publisher: Springer Science & Business Media
There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specificatio
Language: en
Pages: 417
Pages: 417
Type: BOOK - Published: 2023-09-07 - Publisher: Springer Nature
This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and
Language: en
Pages: 422
Pages: 422
Type: BOOK - Published: 2013-07-24 - Publisher: Springer
This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, curr
Language: en
Pages: 292
Pages: 292
Type: BOOK - Published: 2013-08-21 - Publisher: Springer
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal
Language: en
Pages: 714
Pages: 714
Type: BOOK - Published: 2016-12-19 - Publisher: Springer
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineerin