Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to th...

Celý popis

Podrobná bibliografie

Další autoři:	Boer, Frank S. de (Editor) Bonsangue, Marcello M (Editor) Hallerstede, Stefan (Editor) Leuschel, Michael (Editor)
Korporace:	SpringerLink (online služba)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg : Springer Berlin Heidelberg, 2010
Edice:	Lecture Notes in Computer Science
Žánr/forma:	elektronické knihy
ISBN:	978-3-642-17071-3 9783642170706
Témata:	informatika 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!