This is our Singapore store.

Looks like you're in United States. You need a Singapore address to shop on our Singapore store. Go to our United States store to continue.

Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings eBook by

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

ebook,ebook

Synopsis

About this book

  • Language:English
  • ISBN:9783319336930
  • Release date:Jul 5, 2016
  • Publisher:Springer International Publishing
  • Imprint:Springer
  • File format:EPUB2
  • File size:7.30 MB
  • Download options:EPUB2 (Adobe DRM)

In this series

Theoretical Aspects of Computing – ICTAC 2023

Erika Ábrahám,Clemens Dubslaff,Silvia Lizeth Tapia Tarifa

Quantitative Evaluation of Systems

Erika Ábrahám,Marco Paolieri

Runtime Verification

Erika Ábrahám,Houssam Abbas