Verification, Induction, Termination Analysis
Author:   Simon Siegler ,  Nathan Wasser
Publisher:   Springer
ISBN:  

9783642171734


Pages:   160
Publication Date:   13 March 2011
Format:   Undefined
Availability:   Out of stock   Availability explained


Our Price $65.87 Quantity:  
Add to Cart

Share |

Verification, Induction, Termination Analysis


Add your own review!

Overview

This Festschrift volume, published in honor of Christoph Walther, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthdays of Alejandro P. Buchmann, Sorin A. Huss and Christoph Walther, a colloquium was held on November 19th, 2010 in Darmstadt, Germany.

The articles collected herein cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis. Together they give a good overall perspective on the formal verification of the correctness of software systems.

Full Product Details

Author:   Simon Siegler ,  Nathan Wasser
Publisher:   Springer
Imprint:   Springer
Dimensions:   Width: 23.40cm , Height: 0.90cm , Length: 15.60cm
Weight:   0.231kg
ISBN:  

9783642171734


ISBN 10:   3642171737
Pages:   160
Publication Date:   13 March 2011
Audience:   General/trade ,  General
Format:   Undefined
Publisher's Status:   Unknown
Availability:   Out of stock   Availability explained

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now