Leveraging applications of formal methods, verification, and validation : 4th International symposium on leveraging applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010 : proceedings. Part II. /

Podrobná bibliografie

Další autoři:	Margaria-Steffen, Tiziana, 1964- (Editor)  Steffen, Bernhard, 1958- (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	ISoLA 2010 (Herákleion, Řecko)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg ; New York : Springer, 2010
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-642-16561-0 978-3-642-16560-3 3-642-16560-5
Témata:	informatika počítače softwarové inženýrství programovací jazyky vyhledávání v datech informační systémy internet vestavěné systémy distribuované informační systémy
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!