Structured object-oriented formal language and method : 4th international workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014 : revised selected papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International workshop on structured object-oriented formal language and method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and sel...

Celý popis

Uloženo v:

Podrobná bibliografie
Další autoři:	Liu, Shaoying (Editor) Duan, Zhenhua (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	SOFL+MSVL 2014 (Lucemburk, Lucembursko)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Cham ; Heidelberg ; New York ; Dordrecht ; London : Springer, 2015
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-319-17404-4 978-3-319-17403-7
Témata:	informatika počítače softwarové inženýrství programovací jazyky matematická logika formální jazyky
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!