• 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. Data och IT
      2. Hårdvara

      Integrated Formal Methods

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

      AvSilvia Lizeth Tapia Tarifa,Wolfgang Ahrendt

      E-bok
      Engelska, 2019

      732 kr

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

      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-22
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783030349684
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Hårdvara inom Data och IT
      • Programmeringsböcker inom Data och IT
      • Programvaruutveckling inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa - Integrated Formal Methods, Häftad

      Integrated Formal Methods

      Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa

      Häftad, 2019

      566 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

      896 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

      735 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

      898 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 138 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 785 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 124 kr

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

      Tests and Proofs

      Heike Wehrheim, Wolfgang Ahrendt

      E-bok
      2020

      732 kr

      Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich - Deductive Software Verification – The KeY Book, Häftad
      Del 10001

      Deductive Software Verification – The KeY Book

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

      Häftad, 2016

      1 348 kr