Dina sekretessinställningar

Genom att välja ”Acceptera alla” tillåter du att Rakuten Kobo och deras partners använder cookies, spårning och liknande teknologier för att samla in dina personuppgifter och behandla dem för följande ändamål: att driva webbplatsen och Kobos tjänster och se till att de fungerar korrekt, för att leverera personligt anpassat innehåll på Kobo samt annonser för Kobo på andra plattformar, och för att mäta analysdata och analysera hur vår webbplats och våra tjänster används. I annat fall kan du klicka på ”Avvisa” nedan för att avvisa alla icke-nödvändiga ändamål eller gå till ”Integritetsinställningar” för att hantera dina inställningar för varje ändamål. Mer information finns i vår Integritetspolicy.

Visa integritetsinställningar
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings E-bok av

Integrated Formal Methods

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

eBook,eBook

Synopsis

Om den här boken

  • Språk:English
  • ISBN:9783319336930
  • Utgivningsdatum:5 juli 2016
  • Utgivare:Springer International Publishing
  • Impressum:Springer
  • Filformat:EPUB2
  • Filstorlek:7.30 MB
  • Nedladdningsalternativ:EPUB2 (Adobe DRM)

I denna serie

Quantitative Evaluation of Systems

Erika Ábrahám,Marco Paolieri

Runtime Verification

Erika Ábrahám,Houssam Abbas

Theoretical Aspects of Computing – ICTAC 2023

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