Dine personverninnstillinger

Ved å velge «Godta alle» tillater du at Rakuten Kobo og deres partnere bruker informasjonskapsler, sporingsteknologi og lignende teknologier for å samle inn personopplysningene dine og behandle dem til følgende formål: å drive nettstedet og Kobo-tjenestene og sikre at de fungerer som de skal, å levere personlig tilpasset innhold til deg på Kobo og annonser for Kobo på andre plattformer og å måle statistikk og analysere hvordan nettstedet vårt og tjenestene våre brukes. Hvis ikke kan du klikke på «Avvis» nedenfor for å avvise alle ikke-essensielle formål, eller se «Personverninnstillinger» for å administrere preferansene dine for hvert formål. Les Personvernerklæring vår for å få mer informasjon.

Se personverninnstillingerSe personverninnstillinger

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

Erika Ábrahám,Marieke Huisman

Springer Nature Proceedings Computer Science

Sammendrag

Kategorier

Om denne boken

Språk:English
ISBN:9783319336930
Utgivelsesdato:23. mai 2016
Forlag:Springer International Publishing

Trykk:Springer
Filformat:EPUB2
Filstørrelse:7.30 MB
Nedlastingsalternativer:EPUB2 (Adobe DRM)

I denne serien

Quantitative Evaluation of Systems – e-bok av Erika Ábrahám,Marco Paolieri

Quantitative Evaluation of Systems

Erika Ábrahám,Marco Paolieri

Runtime Verification – e-bok av Erika Ábrahám,Houssam Abbas

Runtime Verification

Erika Ábrahám,Houssam Abbas

Theoretical Aspects of Computing – ICTAC 2023 – e-bok av Erika Ábrahám,Clemens Dubslaff,Silvia Lizeth Tapia Tarifa

Theoretical Aspects of Computing – ICTAC 2023

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