Location & Availability for: Descriptional complexity of formal syste

 Staff view

You must be logged in to Tag Records

Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings /

edited by Stavros Konstantinidis, Giovanni Pighizzini (eds.).

Book Cover
Names: Konstantinidis, Stavros, | Pighizzini, Giovanni,
Published: Cham, Switzerland : Springer, 2018.
Series: Lecture notes in computer science ; 10952.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Topics: Formal methods (Computer science) - Congresses. | Formal languages - Congresses.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Descriptional complexity of formal syste