Name: formal methods and software engineering
SKU: 3485165
Price: 3355.00 TWD
Availability: InStock
ISBN: 9783540474609

Select your country

Americas

Europe

Rest of the world

portada formal methods and software engineering

Type

Physical Book

Publisher

Springer

Language

English

Pages

778

ISBN

3540474609

ISBN13

9783540474609

Synopsis "formal methods and software engineering"

this book constitutes the refereed proceedings of the 8th international conference on formal engineering methods, icfem 2006, held in macao, china, in november 2006. the 38 revised full papers presented together with 3 keynote talks were carefully reviewed and selected from 108 submissions. the papers address all current issues in formal methods and their applications in software engineering. they are organized in topical sections on specification and verification, internetware and web-based systems, concurrent, communicating, timing and probabilistic systems, object and component orientation, testing and model checking, tools, fault-tolerance and security, as well as specification and refinement.

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