Tracked shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada formal methods for components and objects
formal methods for components and objectsformal methods for components and objects
Type
Physical Book
Illustrated by
Publisher
Author
Language
English
Pages
512
Format
Paperback
Dimensions
23.4 x 15.6 x 2.7 cm
Weight
0.73 kg.
ISBN
3540203036
ISBN13
9783540203032
Categories

formal methods for components and objects

Susanne Graf (Illustrated by) · Marcello Bonsangue (Illustrated by) · Springer · Paperback

formal methods for components and objects - Boer, Frank S. de ; Bonsangue, Marcello ; Graf, Susanne

Cheaper New Book Imported to Taiwan
Delivery: 18 Aug - 01 Sep Shipping: 12 to 16 business days.
NT$ 1,880
Faster New Book Imported to Taiwan
Delivery: 06 Aug - 14 Aug Shipping: 4 to 5 business days.
NT$ 2,382
NT$ 1,880

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "formal methods for components and objects"

Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modi?ability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompone- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri?cationofmedi- sized programs in protocol and hardware design. However, their application to large systems requires the further development of speci?cation and veri?cation techniques supporting the concepts of reusability and modi?ability. In order to bring together researchers and practioners in the areas of so- ware engineering and formal methods, we organized the 1st International S- posium on Formal Methods for Components and Objects (FMCO) in Leiden, The Netherlands, November 5-8, 2002. The program consisted of invited tu- rials and more technical presentations given by leading experts in the ?elds of Theoretical Computer Science and Software Engineering. The symposium was attended by more than 100 people. This volume contains the contributions of the invited speakers to FMCO 2002. We believe that the presented material provides a unique combination of ideas on software engineering and formal methods which we hope will be an inspiration for those aiming at further bridging the gap between the theory and practice of software engineering.

Customers reviews

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.

What is the format of this book?

The binding of this edition is Paperback.

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