Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Formal methods (Computer science), Congresses, Formal languages, Machine theory, System design, Computer science, Computer software, Logic design, Computational complexity, Computation by Abstract Devices, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Discrete Mathematics in Computer ScienceShowing 4 featured editions. View all 4 editions?
Edition | Availability |
---|---|
1
Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015, Waterloo, on, Canada, June 25-27, 2015. Proceedings
2015, Springer London, Limited
in English
3319192256 9783319192253
|
zzzz
Libraries near you:
WorldCat
|
2
Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
May 28, 2015, Springer
paperback
3319192248 9783319192246
|
zzzz
Libraries near you:
WorldCat
|
3
Descriptional Complexity of Formal Systems: 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
2014, Springer London, Limited
in English
3319097040 9783319097046
|
zzzz
Libraries near you:
WorldCat
|
4
Descriptional Complexity of Formal Systems: 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Jul 21, 2014, Springer
paperback
3319097032 9783319097039
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Source title: Descriptional Complexity of Formal Systems: 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings (Lecture Notes in Computer Science (8614))
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?December 8, 2022 | Edited by MARC Bot | import existing book |
October 5, 2021 | Edited by ImportBot | import existing book |
February 12, 2021 | Edited by ImportBot | import existing book |
April 24, 2020 | Created by ImportBot | import new book |