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ällningarVisa integritetsinställningar

Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers E-bok av

Numerical Software Verification

9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Sergiy Bogomolov,Matthieu Martel,Pavithra Prabhakar

Springer Nature Proceedings Computer Science

Synopsis

Kategorier

Om den här boken

Språk:English
ISBN:9783319542928
Utgivningsdatum:14 feb. 2017
Utgivare:Springer International Publishing

Impressum:Springer
Filformat:EPUB2
Filstorlek:1.51 MB
Nedladdningsalternativ:EPUB2 (Adobe DRM)

I denna serie

Formal Modeling and Analysis of Timed Systems - E-bok av Sergiy Bogomolov,David Parker

Formal Modeling and Analysis of Timed Systems

Sergiy Bogomolov,David Parker