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

Formal Methods – 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I e-bok av

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

André Platzer,Kristin Yvonne Rozier,Matteo Pradella,Matteo Rossi

Springer Nature Proceedings Computer Science

Sammendrag

Kategorier

Om denne boken

Språk:English
ISBN:9783031711626
Utgivelsesdato:10. sep. 2024
Forlag:Springer Nature Switzerland

Trykk:Springer
Filformat:EPUB3
Filstørrelse:48.08 MB
Nedlastingsalternativer:EPUB3 (Adobe DRM)

I denne serien

Automated Deduction – CADE 28 – e-bok av André Platzer,Geoff Sutcliffe

Automated Deduction – CADE 28

André Platzer,Geoff Sutcliffe