Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Formal Methods for Components and Objects Frank S. de Boer

Formal Methods for Components and Objects

Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Autor: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Język: Angielski
Oprawa: Miękka
Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostępność: Dostępna u dostawcy w małych ilościach
Wysyłamy za 11-15 dni
241.24 zł
Formal methods have been applied successfully to the verification of medium-sized programs in protoc...

Informacje o książce

Autor
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2005
strony
328
EAN
9783540291312
ISBN
3540291318
Enbook ID
01561202
Wydawca
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga
1050
Wymiary
155 x 235 x 20

Pełny opis

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book provides an unique combination of ideas on software engineering and formal methods that reflect the expanding body of knowledge on modern software systems.

Możesz być zainteresowany

Watford

Hertfordshire Archived & Local Studies
70.47 zł

Assessment and Learning

John R Gardner
151.21 zł

100 Questions & Answers About Diabetes

Michael Bryer-Ash
100.18 zł

On the early development of Cirripedia

Theodore T Groom
62.94 zł

Webster Groves

Tom Cooper
86.11 zł

Language of Technical Communication

Ray Gallon
103.41 zł

J.S. Bach 6 Cello Suites for Solo Guitar

Jade Synstelien
103.90 zł

Klienci, którzy kupili tę książkę, kupili również

Geographische Strukturanalyse Hettstedt

Stefan Schulz
176.72 zł

Beschleunigung und Zäsuren im Fernsehprogramm

Andreas Ettenhuber
131.56 zł

Historia De La Imagen Y Santuario De N.s. De Montserrat...

Juan Marti Y Canto
130.49 zł

Pierwsza encyklopedia Ciało człowieka

praca zbiorowa
27.26 zł