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 personverninnstillinger
Spring til hovedinnhold
Ønskeliste
Handlekurv
Opprett konto
Har du en konto?Logg på
Formal Methods – 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings e-bok av

Formal Methods

24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman,Corina Păsăreanu,Naijun Zhan
Springer Nature Proceedings Computer Science

Sammendrag

Kategorier

Om denne boken

  • Språk:English
  • ISBN:9783030908706
  • Utgivelsesdato:10. nov. 2021
  • Forlag:Springer International Publishing
  • Trykk:Springer
  • Filformat:EPUB3
  • Filstørrelse:63.77 MB
  • Nedlastingsalternativer:EPUB3 (Adobe DRM)

I denne serien

Hopp over denne listen

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman,António Ravara

Fundamental Approaches to Software Engineering

Marieke Huisman,Julia Rubin

Tests and Proofs

Marieke Huisman,Falk Howar