Wordt geladen...

Logic in computer science: Modelling and reasoning about systems

Bibliografische gegevens
Hoofdauteur: Huth, Michael
Andere auteurs: Ryan, Mark
Formaat: Printed Book
Gepubliceerd in: Cambridge University Press, Cambridge 2005
Onderwerpen: