Dina sekretessinställningar

Genom att välja ”Acceptera alla” tillåter du att Rakuten Kobo och deras partners använder cookies, spårning och liknande teknologier för att samla in dina personuppgifter och behandla dem för följande ändamål: att driva webbplatsen och Kobos tjänster och se till att de fungerar korrekt, för att leverera personligt anpassat innehåll på Kobo samt annonser för Kobo på andra plattformar, och för att mäta analysdata och analysera hur vår webbplats och våra tjänster används. I annat fall kan du klicka på ”Avvisa” nedan för att avvisa alla icke-nödvändiga ändamål eller gå till ”Integritetsinställningar” för att hantera dina inställningar för varje ändamål. Mer information finns i vår Integritetspolicy.

Visa integritetsinställningar
Spring till huvudinnehåll
Formal Methods for Software Engineering - Languages, Methods, Application Domains E-bok av Markus Roggenbach,Antonio Cerone,Bernd-Holger Schlingloff,Gerardo Schneider,Siraj Ahmed Shaikh

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Markus Roggenbach,Antonio Cerone,Bernd-Holger Schlingloff,Gerardo Schneider,Siraj Ahmed Shaikh
Computer Science (R0)

Synopsis

Kategorier

Om den här boken

  • Språk:English
  • ISBN:9783030388003
  • Utgivningsdatum:22 juni 2022
  • Utgivare:Springer International Publishing
  • Impressum:Springer
  • Filformat:EPUB3
  • Filstorlek:29.22 MB
  • Nedladdningsalternativ:EPUB3 (Adobe DRM)