Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Alessandro Cimatti
Out of stock
Format: Book (Paperback / softback)
Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Adva
Marco Bernardo
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Adva
Marco Bernardo
Download - Immediately Available
Format: eBook (PDF)
Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
Alessandro Cimatti
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketTheory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Alessandro Cimatti
Item not Available
Format: Book (Paperback / softback)
£63.99
£53.15
Item not Available
Book (Paperback / softback)
Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Alessandro Cimatti
Download - Immediately Available
Format: eBook (PDF)