Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv 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

Szerző: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 11-15 napon belül
20 529 Ft
Formal methods have been applied successfully to the verification of medium-sized programs in protoc...

Információk a könyvről

Szerző
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2005
oldal
328
EAN
9783540291312
ISBN
3540291318
Enbook ID
01561202
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
1050
Méretek
155 x 235 x 20

Teljes leírás

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.

Érdekelheti

Watford

Hertfordshire Archived & Local Studies
6 234 Ft

Assessment and Learning

John R Gardner
12 530 Ft

100 Questions & Answers About Diabetes

Michael Bryer-Ash
8 838 Ft

On the early development of Cirripedia

Theodore T Groom
5 712 Ft

Webster Groves

Tom Cooper
7 393 Ft

Language of Technical Communication

Ray Gallon
9 235 Ft

J.S. Bach 6 Cello Suites for Solo Guitar

Jade Synstelien
9 632 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Geographische Strukturanalyse Hettstedt

Stefan Schulz
16 021 Ft

Beschleunigung und Zäsuren im Fernsehprogramm

Andreas Ettenhuber
10 902 Ft

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

Juan Marti Y Canto
11 665 Ft

Pierwsza encyklopedia Ciało człowieka

praca zbiorowa
2 559 Ft