• 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
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

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
    • 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. Data och IT
    2. Programmeringsböcker
    3. Programvaruutveckling

    Integrated Formal Methods

    19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings

    AvLaura Kovacs,Nikolai Kosmatov

    E-bok
    Engelska, 2024

    1 942 kr

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

    Beskrivning

    This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.  

    The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.

    Produktinformation

    • Utgivningsdatum:2024-11-12
    • Språk:Engelska
    • Filformat:EPUB
    • Kopieringsskydd:LCP
    • ISBN:9783031765544
    • Förlag:Springer Nature Switzerland

    Utforska kategorier

    • Programvaruutveckling inom Data och IT
    Hoppa över listan

    Du kanske också är intresserad av

    Nikolai Kosmatov, Laura Kovács - Integrated Formal Methods, Häftad
    Del 15234

    Integrated Formal Methods

    Nikolai Kosmatov, Laura Kovács

    Häftad, 2024

    1 555 kr

    Veronica Henry - Puben vid floden, Pocket
    • -51%

    Puben vid floden

    Veronica Henry

    Pocket, 2023

    4,2 utav 5 stjärnor. Totalt antal röster:(18)

    49 kr99 kr

    Kristan Higgins - Bokhandeln vid havet, Pocket
    • -51%

    Bokhandeln vid havet

    Kristan Higgins

    Pocket, 2025

    3,5 utav 5 stjärnor. Totalt antal röster:(11)

    49 kr99 kr

    Eva Mozes Kor, Lisa Rojany Buccieri - Tvillingarna i Auschwitz : den inspirerande och sanna historien om en liten flicka som överlever fasorna i doktor Mengeles helvete, Pocket
    • -45%

    Tvillingarna i Auschwitz : den inspirerande och sanna historien om en liten flicka som överlever fasorna i doktor Mengeles helvete

    Eva Mozes Kor, Lisa Rojany Buccieri

    Pocket, 2022

    4,0 utav 5 stjärnor. Totalt antal röster:(14)

    49 kr89 kr

    Madeline Martin - Den hemliga bibliotekarien i Lissabon, Pocket
    • -51%

    Den hemliga bibliotekarien i Lissabon

    Madeline Martin

    Pocket, 2025

    4,0 utav 5 stjärnor. Totalt antal röster:(6)

    49 kr99 kr

    Frida Gråsjö - Beska droppar, Pocket
    • -45%
    Del 2

    Beska droppar

    Frida Gråsjö

    Pocket, 2025

    3,9 utav 5 stjärnor. Totalt antal röster:(7)

    49 kr89 kr

    Karl Meinke, Laura Kovacs - Tests and Proofs, E-bok

    Tests and Proofs

    Karl Meinke, Laura Kovacs

    E-bok
    2022

    710 kr

    Frida Gråsjö - Vatten över huvudet, Pocket
    • -45%
    Del 1

    Vatten över huvudet

    Frida Gråsjö

    Pocket, 2024

    3,4 utav 5 stjärnor. Totalt antal röster:(26)

    49 kr89 kr

    Frida Gråsjö - En fråga om mord, Pocket
    • -51%
    Del 1

    En fråga om mord

    Frida Gråsjö

    Pocket, 2025

    3,8 utav 5 stjärnor. Totalt antal röster:(6)

    49 kr99 kr

    Mats Ahlstedt, Veronica Ahlstedt McCleave - Visselblåsaren, Pocket
    • -51%
    Del 1

    Visselblåsaren

    Mats Ahlstedt, Veronica Ahlstedt McCleave

    Pocket, 2025

    3,5 utav 5 stjärnor. Totalt antal röster:(2)

    49 kr99 kr