Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers

Podrobná bibliografie

Další autoři:	Fiadeiro, José Luiz, 1961- (Editor)  Mosses, Peter D., 1948- (Editor)  Orejas, Fernando, 1952- (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	WADT (workshop) (2004 : Barcelona, Španělsko)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg ; New York : Springer, 2005
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-540-31959-7 978-3-540-25327-3 3-540-25327-0
Témata:	informatika softwarové inženýrství programování operační systémy matematická logika algebra formální jazyky počítačová architektura
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!