Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach
Robert P. Kurshan
Download - Immediately Available
Format: eBook (PDF)
Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach
Robert P. Kurshan
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£50.00
£38.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach
Robert P. Kurshan
Out of stock
Format: Book (Hardback)
Investment Industry Claims Debunked : Smart Personal Finance Management For Ordinary Folks, Before and After Retirement
Robert P. Kurshan
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Paperback / softback)
£27.99
£23.05
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Paperback / softback)
Add to Basket
