• 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. Samhälle och politik
      2. Samhälle och kultur
      3. Kultur och medier
      4. Referensverk och tvärvetenskap

      Software Engineering and Formal Methods

      22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

      AvAlexander Knapp,Alexandre Madeira

      E-bok
      Engelska, 2024

      975 kr

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

      Beskrivning

      This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6–8, 2024.

      The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The topics covered range from formal modelling, specification, and design in software development over safety-critical, fault-tolerant, and secure systems to real-time, hybrid, and cyber-physical systems and quantum computing.

      Produktinformation

      • Utgivningsdatum:2024-11-25
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783031773822
      • Förlag:Springer Nature Switzerland

      Utforska kategorier

      • Referensverk och tvärvetenskap inom Samhälle och politik
      • Hårdvara inom Data och IT
      • Programmeringsböcker inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Alexandre Madeira, Alexander Knapp - Software Engineering and Formal Methods, Häftad

      Software Engineering and Formal Methods

      Alexandre Madeira, Alexander Knapp

      Häftad, 2024

      787 kr

      Alexandre Madeira, Manuel A. Martins - Recent Trends in Algebraic Development Techniques, Häftad
      Del 13710

      Recent Trends in Algebraic Development Techniques

      Alexandre Madeira, Manuel A. Martins

      Häftad, 2023

      620 kr

      Alexandre Madeira, Mário Benevides - Dynamic Logic. New Trends and Applications, Häftad
      Del 10669

      Dynamic Logic. New Trends and Applications

      Alexandre Madeira, Mário Benevides

      Häftad, 2018

      566 kr

      Jing Wang, Alexandre Madeira, Lei Li - Dynamic Logic. New Trends and Applications, Häftad
      • Nyhet
      Del 16472

      Dynamic Logic. New Trends and Applications

      Jing Wang, Alexandre Madeira, Lei Li

      Häftad, 2026

      550 kr

      Manuel A. Martins, Alexandre Madeira - Recent Trends in Algebraic Development Techniques, E-bok

      Recent Trends in Algebraic Development Techniques

      Manuel A. Martins, Alexandre Madeira

      E-bok
      2023

      813 kr

      Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer - Go Where the Bugs Are, Häftad
      Del 15765

      Go Where the Bugs Are

      Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer

      Häftad, 2025

      821 kr

      Lei Li, Alexandre Madeira, Jing Wang - Dynamic Logic. New Trends and Applications, E-bok
      • Nyhet

      Dynamic Logic. New Trends and Applications

      Lei Li, Alexandre Madeira, Jing Wang

      E-bok
      2026

      710 kr

      Martin Wirsing, Alexander Knapp, Simonetta Balsamo - Radical Innovations of Software and Systems Engineering in the Future, Häftad

      Radical Innovations of Software and Systems Engineering in the Future

      Martin Wirsing, Alexander Knapp, Simonetta Balsamo

      Häftad, 2004

      566 kr

      Mario Benevides, Alexandre Madeira - Dynamic Logic. New Trends and Applications, E-bok

      Dynamic Logic. New Trends and Applications

      Mario Benevides, Alexandre Madeira

      E-bok
      2017

      732 kr

      Alexander Knapp, Stefania Gnesi, Maurice H. ter Beek - Critical Systems: Formal Methods and Automated Verification, E-bok

      Critical Systems: Formal Methods and Automated Verification

      Alexander Knapp, Stefania Gnesi, Maurice H. ter Beek

      E-bok
      2016

      732 kr