Software engineering and formal methods : SEFM 2015 collocated workshops : ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 revised selected papers

Uloženo v:

Další autoři: Domenico Bianculli, Radu C. Calinescu, 1968-, Bernhard Rumpe, International Conference on Software engineering and formal methods
Typ dokumentu: Knihy
Fyzický popis: xvi, 323 stran : ilustrace ; 24 cm
Vydáno: Berlin : Springer, [2015]
Edice: Lecture notes in computer science
Témata: softwarové inženýrství

sborníky konferencí
Bibliografie: Obsahuje bibliografie a rejstřík
ISBN: 978-3-662-49223-9

Instituce:

Jednotky

Pro vytváření rezervací/objednávek je třeba se .

Dostupnost	Stav		Oddělení	Sbírka	Umístění	Více informací	Poznámka	Signatura
	Odkaz do katalogu		Západočeská univerzita v Plzni - Univerzitní knihovna - Knihovna Bory					BORKNV15997