Name: formal methods for software architectures
SKU: 3484122
Price: 980.00 ZAR
Availability: InStock
ISBN: 9783540200833

Select your country

Americas

Europe

Rest of the world

portada formal methods for software architectures

formal methods for software architectures

Type

Physical Book

Publisher

Springer

Language

English

Pages

287

ISBN

3540200835

ISBN13

9783540200833

Synopsis "formal methods for software architectures"

in the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level. this book presents the tutorial lectures given by leading authorities at the third international school on formal methods for the design of computer, communication and software systems, sfm 2003, held in bertinoro, italy, in september 2003. the book is ideally suited for advanced courses on software architecture as well as for ongoing education of software engineers using formal methods in their day-to-day professional work.

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