Reachability problems : 6th international workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings

This book constitutes the refereed proceedings of the 6th International Workshop on Reachability PProblems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers pr...

Celý popis

Podrobná bibliografie

Další autoři:	Finkel, Alain (Editor) Leroux, Jérôme (Editor) Potapov, Igor (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	International Workshop on Reachability Problems (6. : 2012 : Bordeaux, Francie)
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-33512-9 978-3-642-33511-2
Témata:	informatika softwarové inženýrství programovací jazyky počítače algoritmizace matematická logika
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!