Name: refinement techniques in software engineering
SKU: 3403490
Price: 1860.00 TWD
Availability: InStock
ISBN: 9783540462538

Select your country

Americas

Europe

Rest of the world

portada refinement techniques in software engineering

refinement techniques in software engineering

Type

Physical Book

Publisher

Springer

Language

English

Pages

393

ISBN

3540462538

ISBN13

9783540462538

Synopsis "refinement techniques in software engineering"

this tutorial book presents an augmented selection of the material presented at the first pernambuco summer school on software engineering, psse 2004, held in receife, brazil in november/december 2004, jointly with the brazilian symposium on formal methods (sbmf 2004). the 7 tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. the revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school?s attendees. the courses cover a wide spectrum of topics in software engineering such as concurrency, probability, real time, model checking, and object orientation. apart from languages and techniques, the courses also cover the semantic underpinnings of refinement, and industrial applications and refinement tools.

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