• 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. Programmeringsböcker

      Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

      ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers

      AvGraham Pluck,Reinhard Kahle

      E-bok
      Engelska, 2025

      1 056 kr

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

      Beskrivning

      This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.

      Produktinformation

      • Utgivningsdatum:2025-08-11
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783031947483
      • Förlag:Springer Nature Switzerland

      Utforska kategorier

      • Programmeringsböcker inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck - Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops, Häftad
      Del 15551

      Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

      José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck

      Häftad, 2025

      830 kr

      Jose Proenca, Alberto Lluch Lafuente - Coordination Models and Languages, E-bok

      Coordination Models and Languages

      Jose Proenca, Alberto Lluch Lafuente

      E-bok
      2016

      732 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

      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

      619 kr

      Markus Lumpe, Jose Proenca - Formal Aspects of Component Software, E-bok

      Formal Aspects of Component Software

      Markus Lumpe, Jose Proenca

      E-bok
      2017

      732 kr

      Igor Sedlar, Manuel A. Martins - Dynamic Logic. New Trends and Applications, E-bok

      Dynamic Logic. New Trends and Applications

      Igor Sedlar, Manuel A. Martins

      E-bok
      2020

      732 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

      Manuel A. Martins, Igor Sedlár - Dynamic Logic. New Trends and Applications, Häftad
      Del 12569

      Dynamic Logic. New Trends and Applications

      Manuel A. Martins, Igor Sedlár

      Häftad, 2020

      567 kr

      Madalena Chaves, Manuel A. Martins - Molecular Logic and Computational Synthetic Biology, Häftad
      Del 11415

      Molecular Logic and Computational Synthetic Biology

      Madalena Chaves, Manuel A. Martins

      Häftad, 2019

      550 kr

      Manuel A. Martins, Madalena Chaves - Molecular Logic and Computational Synthetic Biology, E-bok

      Molecular Logic and Computational Synthetic Biology

      Manuel A. Martins, Madalena Chaves

      E-bok
      2019

      712 kr