Leveraging applications of formal methods, verification and validation : technologies for mastering change : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings. Part I. /

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International symposium on leveraging applications of formal methods, verification and validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully review...

Celý popis

Uloženo v:

Podrobná bibliografie
Další autoři:	Margaria-Steffen, Tiziana, 1964- (Editor) Steffen, Bernhard, 1958- (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	ISoLA 2014 (Korfu, Řecko)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Heidelberg ; New York ; Dordrecht ; London : Springer, 2014
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-662-45234-9 978-3-662-45233-2
Témata:	informatika počítače softwarové inženýrství programovací jazyky umělá inteligence robotika 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!