2014
Logic, Languages and Programming
Publication
Publication
Additional Metadata | |
---|---|
Software (theme 1) | |
Guest Lecture Theory of Programming | |
Organisation | Software Analysis and Transformation |
van Eijck, D.J.N. (2014). Logic, Languages and Programming.
|