Name: leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion,
Price: 57.75 EUR
Availability: InStock
Author: Margaria, Tiziana ; Steffen, Bernhard
ISBN: 9783642165603

portada leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion,

leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion,

Type

Physical Book

Illustrated by

Tiziana Margaria

Bernhard Steffen

Publisher

Springer

Author

Margaria, Tiziana ; Steffen, Bernhard

Year

2010

Language

English

Pages

498

Format

Paperback

Dimensions

23.1 x 15.5 x 2.0 cm

Weight

0.74 kg.

ISBN

3642165605

ISBN13

9783642165603

Synopsis "leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion,"

Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion, - Margaria, Tiziana ; Steffen, Bernhard

Synopsis "leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion,"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery