Structural Decision Diagrams in Digital Test : Theory and Applications
Raimund Ubar
Download Now
Format: eBook (EPUB)
Petri Net Primer : A Compendium on the Core Model, Analysis, and Synthesis
Eike Best
Download Now
Format: eBook (PDF)
Algorithms for Constructing Computably Enumerable Sets
Kenneth J. Supowit
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£54.99
£40.53
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketAlgorithms for Constructing Computably Enumerable Sets
Kenneth J. Supowit
Download Now
Format: eBook (EPUB)
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
William M. Farmer
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£74.99
£53.56
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketSimple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
William M. Farmer
Download Now
Format: eBook (PDF)