Name: verified software: theories, tools, experiments
SKU: 3430255
Price: 3355.00 TWD
Availability: InStock
ISBN: 9783540691471

Select your country

Americas

Europe

Rest of the world

portada verified software: theories, tools, experiments

verified software: theories, tools, experiments

Type

Physical Book

Publisher

Springer

Language

English

Pages

546

ISBN

3540691472

ISBN13

9783540691471

Synopsis "verified software: theories, tools, experiments"

this state-of-the-art survey is an outcome of the first ifip tc 2/wg 2.3 working conference on verified software: theories, tools, experiments, vstte 2005, held in zurich, switzerland, in october 2005. this was a historic event gathering many top international experts on systematic methods for specifying, building and verifying high-quality software. the book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the verifying compiler. most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. the papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques.

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)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

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