Dine fortrolighedsindstillinger

Ved at vælge "Accepter alle", giver du Rakuten Kobo og deres partnere tilladelse til at bruge cookies, sporing og lignende teknologier til at indsamle dine personlige data og behandle dem til følgende formål: at drive hjemmesiden og Kobos tjenester og sikre, at de fungerer korrekt, at levere personligt tilpasset indhold til dig på Kobo og annoncere for Kobo på andre platforme, og at måle analyser og analysere, hvordan vores hjemmeside og tjenester bliver brugt. Ellers skal du klikke på "Afvis" nedenfor for at afvise alle ikke-væsentlige formål eller se "Databeskyttelsesindstillinger" for at administrere dine præferencer for hvert formål. Læs vores Databeskyttelsespolitik.

Se privatlivsindstillingerSe privatlivsindstillinger

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

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 denne bog

Sprog:English
ISBN:9783319542928
Udgivelsesdato:17. feb. 2017
Udgiver:Springer International Publishing

Tryk:Springer
Filformat:EPUB2
Filstørrelse:1.51 MB
Downloadmuligheder:EPUB2 (Adobe DRM)

I denne serie

Formal Modeling and Analysis of Timed Systems – E-bog af Sergiy Bogomolov,David Parker

Formal Modeling and Analysis of Timed Systems

Sergiy Bogomolov,David Parker