Vytvořit citaci
Poslat emailem
Exportovat záznam
Přidat do oblíbených
Objednat papírovou kopii

Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures

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 reusabili...

Celý popis

Uloženo v:
Podrobná bibliografie
Další autoři: Boer, Frank S. de (Editor)
Bonsangue, Marcello M (Editor)
Graf, Susanne (Editor)
Roever, Willem-Paul de (Editor)
Korporace: SpringerLink (online služba)  
Médium: E-kniha
Jazyk:angličtina
Vydáno: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2005
Edice:Lecture Notes in Computer Science
Žánr/forma:elektronické knihy
ISBN:978-3-540-31939-9
9783540291312
Témata:
On-line přístup:Plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Obálka