Formale Methoden in der Informatik, Hardcover von Wang, Jiacun; Tepfenhart, Wi...
201,63 €
Formal Methods in Computer Science, Hardcover by Wang, Jiacun; Tepfenhart, William, ISBN 0367225700, ISBN-13 9780367225704, Brand New, Free P&P in the UK This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
Jetzt bei Ebay: