This book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013, held in Liverpool, UK, in August 2013. The 29 papers (26 full papers and 3 invited papers) were carefully reviewed and selected from 58 submissions. The papers cover the following topics: algorithms, formal methods, and emerging fields.
Reihe
Sprache
Verlagsort
Verlagsgruppe
Illustrationen
45 s/w Abbildungen
XII, 318 p. 45 illus.
Dateigröße
ISBN-13
978-3-642-40164-0 (9783642401640)
DOI
10.1007/978-3-642-40164-0
Schweitzer Klassifikation
Algorithms.- Formal methods.- Emerging fields
