ISBN 3844297030 books & textbook

Dynamic Logic for an Intermediate Language

Ulbrich, Mattias

epubli GmbH /2014-06-15 Paperback / 268 Pages
isbn-10: 3844297030 / isbn-13: 9783844297034