Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were car...

Celý popis

Podrobná bibliografie

Další autoři:	Eleftherakis, George (Editor) Hinchey, Mike (Editor) Holcombe, Mike (Editor)
Korporace:	SpringerLink (online služba)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg : Springer Berlin Heidelberg, 2012
Edice:	Lecture Notes in Computer Science
Žánr/forma:	elektronické knihy
ISBN:	978-3-642-33826-7 9783642338250
Témata:	informatika softwarové inženýrství programovací jazyky matematická logika umělá inteligence
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!