• 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. Systemvetenskap och AI

      Integrated Formal Methods

      15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

      AvWolfgang Ahrendt,Silvia Lizeth Tapia Tarifa

      Häftad, Engelska, 2019

      Del i serien Lecture Notes in Computer Science

      581 kr

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

      Beskrivning

      This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.

      Produktinformation

      • Utgivningsdatum:2019-11-15
      • Mått:155 x 235 x 31 mm
      • Vikt:855 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:554
      • Förlag:Springer Nature Switzerland AG
      • ISBN:9783030349677

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Artificiell intelligens inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Silvia Lizeth Tapia Tarifa, Wolfgang Ahrendt - Integrated Formal Methods, E-bok

      Integrated Formal Methods

      Silvia Lizeth Tapia Tarifa, Wolfgang Ahrendt

      E-bok
      2019

      739 kr

      Jose Proenca, Silvia Lizeth Tapia Tarifa - Formal Aspects of Component Software, E-bok

      Formal Aspects of Component Software

      Jose Proenca, Silvia Lizeth Tapia Tarifa

      E-bok
      2022

      903 kr

      Silvia Lizeth Tapia Tarifa, José Proença - Formal Aspects of Component Software, Häftad
      Del 13712

      Formal Aspects of Component Software

      Silvia Lizeth Tapia Tarifa, José Proença

      Häftad, 2022

      753 kr

      Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa - Theoretical Aspects of Computing – ICTAC 2023, Häftad
      Del 14446

      Theoretical Aspects of Computing – ICTAC 2023

      Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa

      Häftad, 2023

      908 kr

      Silvia Lizeth Tapia Tarifa, Clemens Dubslaff, Erika Abraham - Theoretical Aspects of Computing - ICTAC 2023, E-bok

      Theoretical Aspects of Computing - ICTAC 2023

      Silvia Lizeth Tapia Tarifa, Clemens Dubslaff, Erika Abraham

      E-bok
      2023

      1 150 kr

      Einar Broch Johnsen, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt - Logic of Software. A Tasting Menu of Formal Methods, E-bok

      Logic of Software. A Tasting Menu of Formal Methods

      Einar Broch Johnsen, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt

      E-bok
      2022

      1 455 kr

      Mattias Ulbrich, Peter H. Schmitt, Reiner Hahnle, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt - Deductive Software Verification - The KeY Book, E-bok

      Deductive Software Verification - The KeY Book

      Mattias Ulbrich, Peter H. Schmitt, Reiner Hahnle, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt

      E-bok
      2016

      1 798 kr

      Wolfgang Ahrendt, Heike Wehrheim - Tests and Proofs, Häftad
      Del 12165

      Tests and Proofs

      Wolfgang Ahrendt, Heike Wehrheim

      Häftad, 2020

      579 kr

      Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen - Logic of Software. A Tasting Menu of Formal Methods, Häftad
      Del 13360

      Logic of Software. A Tasting Menu of Formal Methods

      Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen

      Häftad, 2022

      1 155 kr

      Heike Wehrheim, Wolfgang Ahrendt - Tests and Proofs, E-bok

      Tests and Proofs

      Heike Wehrheim, Wolfgang Ahrendt

      E-bok
      2020

      732 kr