Logic in computer science: Modelling and reasoning about systems

other_versions_link
Bibliographische Detailangaben
1. Verfasser: Huth, Michael
Weitere Verfasser: Ryan, Mark
Format: Printed Book
Veröffentlicht: Cambridge University Press, Cambridge 2005
Schlagworte:
Computer science

Ähnliche Einträge