Logik in der Informatik: Modellierung und Argumentation über Systeme, Taschenbuch...
83,92 €
Logic in Computer Science : Modelling and Reasoning About Systems, Paperback by Huth, Michael; Ryan, Mark, ISBN 052154310X, ISBN-13 9780521543101, Brand New, Free P&P in the UK Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.
Jetzt bei Ebay:
