Computer science logic : 21st international workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings

Uloženo v:

Podrobná bibliografie
Další autoři:	Duparc, Jacques, 1962- (Editor) Henzinger, T. A., 1962- (Editor)
Korporace:	European Association for Computer Science Logic. Conference
Konference:	Workshop on Computer Science Logic (21. : 2007 : Lausanne, Švýcarsko)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Springer, 2007
Edice:	Lecture notes in computer science, 4646
Žánr/forma:	sborníky konferencí
ISSN:	0302-9743 ;
ISBN:	978-3-540-74914-1 3-540-74914-4
Témata:	matematická logika softwarové inženýrství
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

Plný text

Stav	Dílčí knihovna	Popis	Umístění	LCC signatura	Stará signatura
Volný výběr, k vypůjčení	Fond NTK		6.NP, regál 6D/097	QA76 .9 .L63 C75 2007	A 44071