Name: formal aspects of component software
Price: 64.27 EUR
Availability: InStock
Author: Barbosa, Luis Soares ; Lumpe, Markus
ISBN: 9783642272684

Select your country

Americas

Europe

Rest of the world

portada formal aspects of component software

Type

Physical Book

Illustrated by

Luis Soares Barbosa

Markus Lumpe

Publisher

Springer

Author

Barbosa, Luis Soares ; Lumpe, Markus

Collection

lecture notes in computer science vol. 6921

Year

2012

Language

English

Pages

305

Format

Paperback

Dimensions

23.4 x 15.2 x 1.8 cm

Weight

0.46 kg.

ISBN

3642272681

ISBN13

9783642272684

Synopsis "formal aspects of component software"

This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.

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

formal aspects of component software - Barbosa, Luis Soares ; Lumpe, Markus

Synopsis "formal aspects of component software"

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