• 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
  • Skönlitteratur
  • Deckare
  • Barn och ungdom
  • Samhälle och politik
  • Psykologi och pedagogik
  • Fantasy, SciFi och skräck
  • Mat och dryck
  • Hälsa och familj
  • Ekonomi och Ledarskap
  • Biografier
  • Kultur
  • Historia och arkeologi
  • Medicin
  • Naturvetenskap och teknik
  • Filosofi och religion
  • Pennor och tillbehör
  • Sport, fritid och hobby
  • Läromedel
  • Juridik
  • Tecknade serier
  • Spel och pussel
  • Språk och ordböcker
  • Djur och Natur
  • Ande, kropp och själ
  • Kalender
  • Reseguider
  • Hem och Trädgård
  • Data och IT
  • Anteckning
  • Kort, Kuvert och Brevpapper
  • Måla och pyssla
  • Kontorsmaterial
  • Lästillbehör
  • Romaner
  • Romance
  • Feelgood
  • Essäer
  • Action och Äventyrsromaner
  • Noveller
  • Komedi
  • Litteraturvetenskap
  • Poesi
  • Dramatik
  • Myter
  • Erotiska böcker
  • Antologier
  • Folksagor
  • Sagor
  • Polisromaner
  • Thriller
  • Deckare
  • Mysdeckare
  • Psykologisk spänning
  • Historiska deckare
  • Klassiska deckare
  • Barnböcker 3-6 år
  • Barnböcker 6-9 år
  • Barnböcker 9-12 år
  • Barnböcker 0-3 år
  • Faktaböcker
  • Kapitelböcker
  • Pysselböcker
  • Böcker 12-15 år
  • Lättlästa barnböcker
  • Ungdomsböcker
  • Böcker om känslor
  • Klassiska barnböcker
  • Populära teman
  • Kokböcker för barn
  • Presentböcker
  • Godnattsagor
  • Samhälle och kultur
  • Politik och statsskick
  • Social välfärd och brottslighet
  • Sociologi och antropologi
  • Reportage, journalistik och krönikor
  • Krig och försvar
  • Psykologi
  • Pedagogik
  • Fantasy
  • Science fiction
  • Skräck
  • Kokböcker
  • Kokböcker från kända kockar
  • Drycker
  • Tobak
  • Hälsa
  • Självhjälp och praktiska råd
  • Relationer
  • Föräldraböcker
  • Självförsörjning och grön livsstil
  • Prepping och överlevnadskunskap
  • Företagsekonomi
  • Ledarskapsböcker
  • Nationalekonomi
  • Industrier och branscher
  • Karriärplanering
  • Privatekonomi
  • Sanna berättelser
  • Biografier
  • Självbiografier och Memoarer
  • Tal
  • Musikböcker
  • Konstböcker
  • Designböcker
  • Arkitektur
  • Fotoböcker
  • Scenkonst och film
  • Historia
  • Arkeologi
  • Andra medicinska specialiteter
  • Omvårdnad och medicinska stödfunktioner
  • Medicin: allmänt
  • Klinisk medicin och internmedicin
  • Medicin: icke kliniska discipliner
  • Medicinska studiehandledningar och referensmaterial
  • Alternativ medicin och terapier
  • Kirurgi
  • Veterinärmedicin
  • Matematik och naturvetenskap
  • Geovetenskap
  • Teknik och industri
  • Religion och tro
  • Filosofi
  • Pennor
  • Penntillbehör
  • Hantverk och handarbete
  • Sportböcker
  • Hobby, spel och lekar
  • Humor och presentböcker
  • Fordonsböcker
  • Fest och bröllop
  • Fiske, jakt och skytte
  • Livsstil och stilguider
  • Antikviteter och samlarobjekt
  • Läromedel: matematik och naturvetenskap
  • Läromedel: språk
  • Läromedel: yrkesutbildning och övriga ämnen
  • Läromedel: samhälle och humaniora
  • Läromedel: estetiska ämnen
  • Läromedel: studiehandledningar och handböcker
  • Särskilda rättsområden
  • Rättsvetenskap
  • Lagtextsamlingar, lagböcker
  • Internationell rätt
  • Juridik: handböcker
  • Tecknade serier och romaner
  • Manga
  • Spel
  • Pussel
  • Leksaker
  • Språk: referensverk och allmänt
  • Språkundervisning och språkinlärning
  • Språkvetenskap och lingvistik
  • Djurböcker
  • Naturböcker
  • Ande, kropp och själ
  • Övernaturliga fenomen / det paranormala
  • Kalender och almanacka
  • Adventskalender
  • Reseböcker
  • Kartböcker
  • Parlörer
  • Trädgårdsböcker
  • Hus och hem
  • Heminredning
  • Systemvetenskap och AI
  • Informationsteknik: allmänt
  • Programmeringsböcker
  • Grafik och bildbehandling
  • Databaser
  • Digital livsstil och datorspel
  • Affärsapplikationer
  • Människa – datorinteraktion
  • IT-säkerhet
  • Operativsystem
  • Nätverk och kommunikation
  • It-certifieringar
  • Tillämpad datateknik
  • Hårdvara
  • Anteckningsböcker och block
  • Notisblock och flikar
  • Anteckning för barn
  • Gästböcker och adressböcker
  • Kort
  • Kuvert
  • Brevpapper
  • Etiketter
  • Placeringskort
  • Pyssel & DIY
  • Måla och teckna
  • Kreativitet
  • Fotoalbum och tillbehör
  • Skrivbordsförvaring
  • Skrivbordsprodukter
  • Arkivering och bokföring
  • Kopieringspapper
  • Bokmärken
  • Bokstöd och Book Nook
  • Läsglasögon
  • Läslampor

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

      Formal Methods

      26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

      AvAndré Platzer,Kristin Yvonne Rozier

      Häftad, Engelska, 2024

      Del i serien Lecture Notes in Computer Science

      466 kr

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

      Beskrivning

      The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:Part I: Invited papers; fundamentals of formal verification;  foundations; learn and repair; programming languages.- logic and automata; Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.

      Produktinformation

      • Utgivningsdatum:2024-09-11
      • Mått:155 x 235 x 38 mm
      • Vikt:1 048 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:680
      • Upplaga:2025
      • Förlag:Springer International Publishing AG
      • ISBN:9783031711619

      Utforska kategorier

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

      Du kanske också är intresserad av

      Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi - Formal Methods, Häftad

      Formal Methods

      Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

      Häftad, 2024

      1 729 kr

      André Platzer - Logical Foundations of Cyber-Physical Systems, Häftad

      Logical Foundations of Cyber-Physical Systems

      André Platzer

      Häftad, 2019

      620 kr

      André Platzer - Logical Analysis of Hybrid Systems, Häftad

      Logical Analysis of Hybrid Systems

      André Platzer

      Häftad, 2014

      1 122 kr

      André Platzer - Logical Foundations of Cyber-Physical Systems, Inbunden

      Logical Foundations of Cyber-Physical Systems

      André Platzer

      Inbunden, 2018

      620 kr

      André Platzer, Geoff Sutcliffe - Automated Deduction – CADE 28, Häftad
      Del 12699

      Automated Deduction – CADE 28

      André Platzer, Geoff Sutcliffe

      Häftad, 2021

      466 kr

      Julia M. Badger, Kristin Yvonne Rozier - NASA Formal Methods, Häftad
      Del 8430

      NASA Formal Methods

      Julia M. Badger, Kristin Yvonne Rozier

      Häftad, 2014

      581 kr

      Andre Platzer - Logical Foundations of Cyber-Physical Systems, E-bok

      Logical Foundations of Cyber-Physical Systems

      Andre Platzer

      E-bok
      2018

      797 kr

      Swarat Chaudhuri, Kristin Yvonne Rozier - NASA Formal Methods, E-bok

      NASA Formal Methods

      Swarat Chaudhuri, Kristin Yvonne Rozier

      E-bok
      2023

      1 459 kr

      Heike Wehrheim, Andre Platzer, Roland Meyer - Correct System Design, E-bok

      Correct System Design

      Heike Wehrheim, Andre Platzer, Roland Meyer

      E-bok
      2015

      638 kr

      Kristin Yvonne Rozier, Julia M. Badger - NASA Formal Methods, E-bok

      NASA Formal Methods

      Kristin Yvonne Rozier, Julia M. Badger

      E-bok
      2014

      739 kr