Formal Methods in Computer Science, Hardcover by Wang, Jiacun; Tepfenhart, Wi...
203,75 €
Formal Methods in Computer Science, Hardcover by Wang, Jiacun; Tepfenhart, William, ISBN 0367225700, ISBN-13 9780367225704, Brand New, Free shipping in the US This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
Jetzt bei Ebay:
