Recent trends in algebraic development techniques : 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers

This book constitutes the thoroughly refereed post-conference proceedings of the 19th International workshop on recent trends in algebraic development techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully re...

Celý popis

Podrobná bibliografie

Další autoři:	Corradini, Andrea, 1960- (Editor)  Montanari, Ugo, 1943- (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	WADT (workshop) (2008 : Pisa, Itálie)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg ; New York : Springer, 2009
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-642-03429-9 978-3-642-03428-2 3-642-03428-4
Témata:	informatika počítače 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!