Formal methods for components and objects : 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, 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. (Marcello Maria) (Editor)
Graf, Susanne (Editor)
Roever, W.-P. de, 1943- (Editor)
Korporace: SpringerLink (online služba) (Distributor)
Konference: FMCO 2007 (6th : 2007 : Amsterdam, Netherlands)
Médium: E-kniha
Jazyk:angličtina
Vydáno: Berlin ; Heidelberg : Springer, 2008
Edice:Lecture notes in computer science
Žánr/forma:elektronické knihy
sborníky konferencí
ISBN:978-3-540-92188-2
978-3-540-92187-5
Témata:
On-line přístup:Plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!

Internet

Plný text
Stav Dílčí knihovna Popis Umístění LCC signatura Stará signatura