Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008 : revised selected papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International workshop on formal methods for industrial critical systems, FMICS 2008, held in L'Aquila, Italy, in September 2008 - colocated with ASE 2008, the 23rd International conference on automated software...

Celý popis

Podrobná bibliografie

Další autoři:	Cofer, Darren (Editor) Fantechi, Alessandro (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	International Workshop on Formal Methods for Industrial Critical Systems (13. : 2008 : L’Aquila, Itálie)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg ; New York : Springer, 2009
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-642-03240-0 978-3-642-03239-4 3-642-03239-7
Témata:	informatika počítače softwarové inženýrství programování 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!