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 and Software Engineering – 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings e-bok av

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

e-bok,e-bok
Michael Butler,Sylvain Conchon,Fatiha Zaïdi
Springer Nature Proceedings Computer Science

Sammendrag

Kategorier

Om denne boken

  • Språk:English
  • ISBN:9783319254234
  • Utgivelsesdato:19. mai 2017
  • Forlag:Springer International Publishing
  • Trykk:Springer
  • Filformat:EPUB2
  • Filstørrelse:8.35 MB
  • Nedlastingsalternativer:EPUB2 (Adobe DRM)

I denne serien

Hopp over denne listen

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler,Miklos Biro,Klaus-Dieter Schewe,Atif Mashkoor

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler,Alexander Raschke,Thai Son Hoang,Klaus Reichl