• 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

Upp till 20% på populära nyheter →

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 @ 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

      AvNikolai Kosmatov,Laura Kovács

      Häftad, Engelska, 2024

      Del 15234 i serien Lecture Notes in Computer Science

      1 595 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      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-13
      • Mått:155 x 235 x 20 mm
      • Vikt:534 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:328
      • Förlag:Springer International Publishing AG
      • ISBN:9783031765537

      Utforska kategorier

      • Programvaruutveckling inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Ralf Kellermann - Gedichte analysieren und interpretieren, Häftad
      Del 15234

      Gedichte analysieren und interpretieren

      Ralf Kellermann

      Häftad, 2017

      119 kr

      Laura Kovacs, Nikolai Kosmatov - Integrated Formal Methods, E-bok

      Integrated Formal Methods

      Laura Kovacs, Nikolai Kosmatov

      E-bok
      2024

      1 942 kr

      Nikolai Kosmatov, Virgile Prevosto, Julien Signoles - Guide to Software Verification with Frama-C, Häftad

      Guide to Software Verification with Frama-C

      Nikolai Kosmatov, Virgile Prevosto, Julien Signoles

      Häftad, 2025

      558 kr

      Jasmin Christian Blanchette, Nikolai Kosmatov - Tests and Proofs, Häftad
      Del 9154

      Tests and Proofs

      Jasmin Christian Blanchette, Nikolai Kosmatov

      Häftad, 2015

      552 kr

      Laura Kovács, Karl Meinke - Tests and Proofs, Häftad
      Del 13361

      Tests and Proofs

      Laura Kovács, Karl Meinke

      Häftad, 2022

      558 kr

      Nikolai Kosmatov, Virgile Prevosto, Julien Signoles - Guide to Software Verification with Frama-C, Inbunden

      Guide to Software Verification with Frama-C

      Nikolai Kosmatov, Virgile Prevosto, Julien Signoles

      Inbunden, 2024

      786 kr

      Julien Signoles, Virgile Prevosto, Nikolai Kosmatov - Guide to Software Verification with Frama-C, E-bok

      Guide to Software Verification with Frama-C

      Julien Signoles, Virgile Prevosto, Nikolai Kosmatov

      E-bok
      2024

      712 kr

      Pascale Le Gall, Nikolai Kosmatov, Christophe Gaston - Testing Software and Systems, E-bok

      Testing Software and Systems

      Pascale Le Gall, Nikolai Kosmatov, Christophe Gaston

      E-bok
      2019

      732 kr

      Laura Kovács - Mikrohullámú Sütés kezdőknek, Häftad

      Mikrohullámú Sütés kezdőknek

      Laura Kovács

      Häftad, 2023

      386 kr

      Nikolai Kosmatov, Jasmin Christian Blanchette - Tests and Proofs, E-bok

      Tests and Proofs

      Nikolai Kosmatov, Jasmin Christian Blanchette

      E-bok
      2015

      650 kr