• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% studentrabatt med kod TERM26

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Naturvetenskap och teknik
      2. Matematik och naturvetenskap
      3. Matematik
      4. Matematikens grunder

      Formal Methods Teaching

      5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings

      AvPierluigi San Pietro,Catherine Dubois

      E-bok
      Engelska, 2023

      789 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet

      Beskrivning

      This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lubeck, Germany, in March 2023.The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.

      Produktinformation

      • Utgivningsdatum:2023-03-08
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783031275340
      • Förlag:Springer Nature Switzerland

      Utforska kategorier

      • Matematikens grunder inom Naturvetenskap och teknik
      • Hårdvara inom Data och IT
      • Programvaruutveckling inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Catherine Dubois, Pierluigi San Pietro - Formal Methods Teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings, Övrigt

      Formal Methods Teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings

      Catherine Dubois, Pierluigi San Pietro

      646 kr

      Catherine Dubois, Pierluigi San Pietro - Formal Methods Teaching, Häftad
      Del 13962

      Formal Methods Teaching

      Catherine Dubois, Pierluigi San Pietro

      Häftad, 2023

      604 kr

      Catherine Dubois - Tests and Proofs, Häftad

      Tests and Proofs

      Catherine Dubois

      Häftad, 2009

      566 kr

      Catherine Dubois, Burkhart Wolff - Tests and Proofs, Häftad
      Del 10889

      Tests and Proofs

      Catherine Dubois, Burkhart Wolff

      Häftad, 2018

      566 kr

      Catherine Dubois - Tests and Proofs, E-bok

      Tests and Proofs

      Catherine Dubois

      E-bok
      2009

      732 kr

      Burkhart Wolff, Catherine Dubois - Tests and Proofs, E-bok

      Tests and Proofs

      Burkhart Wolff, Catherine Dubois

      E-bok
      2018

      734 kr

      Manfred Kerber, Catherine Dubois - Intelligent Computer Mathematics, E-bok

      Intelligent Computer Mathematics

      Manfred Kerber, Catherine Dubois

      E-bok
      2023

      997 kr

      Catherine Dubois, Manfred Kerber - Intelligent Computer Mathematics, Häftad
      Del 14101

      Intelligent Computer Mathematics

      Catherine Dubois, Manfred Kerber

      Häftad, 2023

      797 kr

      Klara Peters Bastin - SIGNERAD - Om julens wälgång, Inbunden
      • Signerad!

      SIGNERAD - Om julens wälgång

      Klara Peters Bastin

      Inbunden, 2026

      249 kr

      Roland Paulsen - Avbegåvad : en essäberättelse om arv och miljö, Inbunden
      • -15%

      Avbegåvad : en essäberättelse om arv och miljö

      Roland Paulsen

      Inbunden, 2026

      225 kr265 kr