• 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. Hårdvara
      • Nyhet

      Formal Methods

      27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II

      AvAugusto Sampaio,Marielle Stoelinga

      Häftad, Engelska, 2026

      Del 16557 i serien Lecture Notes in Computer Science

      463 kr

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

      Beskrivning

      The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18–22, 2026. The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 submissions. The proceedings also include 4 invited talks, 8 tutorial papers, and 9 papers from the industry day track. The contributions were organized in topical sections as follows:Part I: Invited Papers; and Main Track (1)Part II: Main Track (2); Tests and Proofs Track (TAP); Tutorial Track; and Industry Day Track

      Produktinformation

      • Utgivningsdatum:2026-08-05
      • Mått:155 x 235 x 41 mm
      • Vikt:1 130 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:733
      • Förlag:Springer Nature Switzerland AG
      • ISBN:9783032262196

      Utforska kategorier

      • Hårdvara inom Data och IT
      • Programspråk inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Augusto Sampaio, Marielle Stoelinga - Formal Methods, Häftad
      Del 16556

      Formal Methods

      Augusto Sampaio, Marielle Stoelinga

      Häftad, 2026

      463 kr

      Jim Woodcock, Augusto Sampaio, Ana Cavalcanti - Refinement Techniques in Software Engineering, E-bok

      Refinement Techniques in Software Engineering

      Jim Woodcock, Augusto Sampaio, Ana Cavalcanti

      E-bok
      2006

      732 kr

      Augusto Sampaio, Simon Foster - Application of Formal Methods, E-bok

      Application of Formal Methods

      Augusto Sampaio, Simon Foster

      E-bok
      2024

      1 642 kr

      Augusto Sampaio - ALGEBRAIC APPROACH TO COMPILER DESIGN, AN, Inbunden
      Del 4

      ALGEBRAIC APPROACH TO COMPILER DESIGN, AN

      Augusto Sampaio

      Inbunden, 1997

      1 299 kr

      Pedro Ribeiro, Augusto Sampaio - Unifying Theories of Programming, Häftad
      Del 11885

      Unifying Theories of Programming

      Pedro Ribeiro, Augusto Sampaio

      Häftad, 2019

      577 kr

      Jim Woodcook, Augusto Sampaio, Ana Cavalcanti, Paulo Borba - Testing Techniques in Software Engineering, E-bok

      Testing Techniques in Software Engineering

      Jim Woodcook, Augusto Sampaio, Ana Cavalcanti, Paulo Borba

      E-bok
      2010

      739 kr

      Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook - Testing Techniques in Software Engineering, Häftad

      Testing Techniques in Software Engineering

      Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook

      Häftad, 2010

      577 kr

      Ana Cavalcanti, Augusto Sampaio, Jim Woodcock - Refinement Techniques in Software Engineering, Häftad

      Refinement Techniques in Software Engineering

      Ana Cavalcanti, Augusto Sampaio, Jim Woodcock

      Häftad, 2006

      577 kr

      Matthias Volk, Marielle Stoelinga, Tim Quatmann, Thomas Noll, Christoph Matheja, Benjamin Lucien Kaminski, Sebastian Junges, Nils Jansen - Principles of Verification: Cycling the Probabilistic Landscape, E-bok

      Principles of Verification: Cycling the Probabilistic Landscape

      Matthias Volk, Marielle Stoelinga, Tim Quatmann, Thomas Noll, Christoph Matheja, Benjamin Lucien Kaminski, Sebastian Junges, Nils Jansen

      E-bok
      2024

      975 kr

      Simon Foster, Augusto Sampaio - Application of Formal Methods, Häftad
      Del 14900

      Application of Formal Methods

      Simon Foster, Augusto Sampaio

      Häftad, 2024

      759 kr