Descriptional complexity of formal systems : 18th IFIP WG 1.2 international conference, DCFS, Bucharest, Romania, July 5-8, 2016. proceedings (e-book)

Descriptional complexity of formal systems : 18th IFIP WG 1.2 international conference, DCFS, Bucharest, Romania, July 5-8, 2016. proceedings (e-book) - Berlin Springer 2016 - Lecture Notes in Computer Science (LNCS) v.9777 .

978-3-319-41114-9


Computer science and engineering
Formal languages--Congresses
Machine theory
Formal methods (Computer science)--Congresses

Powered by Koha