Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013 : revised selected papers

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International symposium on logic-based program synthesis and transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully...

Celý popis

Uloženo v:

Podrobná bibliografie
Další autoři:	Gupta, Gopal, 1963- (Editor) Peña, Ricardo, 1950- (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	LOPSTR 2013 (Madrid, Španělsko)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Cham ; Heidelberg ; New York ; Dordrecht ; London : Springer, 2014
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-319-14125-1 978-3-319-14124-4
Témata:	informatika softwarové inženýrství testování programování umělá inteligence robotika matematická logika lineární a multilineární algebra 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!