Related Books
Language: en
Pages: 186
Pages: 186
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
The VLISP project showed how to produce a comprehensively verified implemen tation for a programming language, namely Scheme [4, 15). Some of the major elements
Language: en
Pages: 292
Pages: 292
Type: BOOK - Published: 2009-03-09 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March 2009 as part o
Language: en
Pages: 225
Pages: 225
Type: BOOK - Published: 2010-08-05 - Publisher: Springer Science & Business Media
This volume contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK,
Language: en
Pages: 942
Pages: 942
Type: BOOK - Published: 1998-11-04 - Publisher: Springer Science & Business Media
The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional ch
Language: en
Pages: 955
Pages: 955
Type: BOOK - Published: 2003-07-31 - Publisher: Springer
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industri
