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

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:	softwarové inženýrství programovací jazyky operační systémy
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!