Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings

This book constitutes the refereed proceedings of the 14th International workshop of descriptional complexity of formal systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. T...

Celý popis

Podrobná bibliografie

Další autoři:	Kutrib, Martin (Editor) Moreira, Nelma (Editor) Reis, Rogério (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	DCFS 2012 (Braga, Portugalsko)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Heidelberg ; Dordrecht ; London ; New York : Springer, 2012
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-642-31623-4 978-3-642-31622-7
Témata:	informatika hardware počítače software testování matematická logika formální jazyky testování softwaru
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!