• 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. Språk och ordböcker
      2. Språk: referensverk och allmänt

      Formal Aspects of Component Software

      18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings

      AvJose Proenca,Silvia Lizeth Tapia Tarifa

      E-bok
      Engelska, 2022

      896 kr

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

      Beskrivning

      This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.
      The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component software and formal methods in order to promote a deeper understanding of how formal methods can or should be used to make component-based software development succeed.

      Produktinformation

      • Utgivningsdatum:2022-11-02
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783031208720
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Språk: referensverk och allmänt inom Språk och ordböcker
      • Referensverk och tvärvetenskap inom Samhälle och politik
      • Programmeringsböcker inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      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

      Silvia Lizeth Tapia Tarifa, Wolfgang Ahrendt - Integrated Formal Methods, E-bok

      Integrated Formal Methods

      Silvia Lizeth Tapia Tarifa, Wolfgang Ahrendt

      E-bok
      2019

      732 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

      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

      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

      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

      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

      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

      Francesco Bianchini, Arianna Pavone, José Proença, José Ignacio Requeno Jarabo, Umberto Rivieccio - Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops, Häftad

      Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops

      Francesco Bianchini, Arianna Pavone, José Proença, José Ignacio Requeno Jarabo, Umberto Rivieccio

      Häftad, 2026

      1 164 kr

      Graham Pluck, Reinhard Kahle, Manuel A. Martins, Raul Fervari, Jose Proenca - Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops, E-bok

      Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

      Graham Pluck, Reinhard Kahle, Manuel A. Martins, Raul Fervari, Jose Proenca

      E-bok
      2025

      1 056 kr