• 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. Systemvetenskap och AI

      Software Engineering and Formal Methods

      SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers

      AvJavier Camara,Martin Steffen

      Häftad, Engelska, 2020

      Del 12226 i serien Lecture Notes in Computer Science

      805 kr

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

      Beskrivning

      The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops:CoSim-CPS 2019 – 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems;  ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;  and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems​.

      Produktinformation

      • Utgivningsdatum:2020-09-10
      • Mått:155 x 235 x 16 mm
      • Vikt:441 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:277
      • Förlag:Springer Nature Switzerland AG
      • ISBN:9783030575052

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • Software Engineering.- Software Technologies.- Model-Driven Engineering.- Formal Methods.
      Hoppa över listan

      Du kanske också är intresserad av

      Martin Steffen, Javier Camara - Software Engineering and Formal Methods, E-bok

      Software Engineering and Formal Methods

      Martin Steffen, Javier Camara

      E-bok
      2020

      975 kr

      Martin Steffen, Ulrich Hannemann, Dennis Dams - Concurrency, Compositionality, and Correctness, E-bok

      Concurrency, Compositionality, and Correctness

      Martin Steffen, Ulrich Hannemann, Dennis Dams

      E-bok
      2010

      739 kr

      Javier Camara - Aquel Francisco, E-bok

      Aquel Francisco

      Javier Camara

      E-bok
      2021

      186 kr

      Antonia Lopes, Carlo Ghezzi, Rogerio de Lemos, Javier Camara - Assurances for Self-Adaptive Systems, E-bok

      Assurances for Self-Adaptive Systems

      Antonia Lopes, Carlo Ghezzi, Rogerio de Lemos, Javier Camara

      E-bok
      2013

      739 kr

      Michael Jochim, Dieter Rehmann, Matthias Sellmann, Martin Steffen - Hat die Rede von Gott noch Zukunft?, Inbunden

      Hat die Rede von Gott noch Zukunft?

      Michael Jochim, Dieter Rehmann, Matthias Sellmann, Martin Steffen

      Inbunden, 2024

      279 kr

      Uwe Zdun, Danny Weyns, Catia Trubiani, Patrizia Scandurra, Anne Koziolek, Mirco Franzago, Mauro Caporuscio, Javier Camara, Barbora Buhnova, Paris Avgeriou, Henry Muccini - Software Architecture, E-bok

      Software Architecture

      Uwe Zdun, Danny Weyns, Catia Trubiani, Patrizia Scandurra, Anne Koziolek, Mirco Franzago, Mauro Caporuscio, Javier Camara, Barbora Buhnova, Paris Avgeriou, Henry Muccini

      E-bok
      2020

      1 470 kr

      Jan Arne Telle, Martin Steffen, Olaf Owe - Fundamentals of Computation Theory, E-bok

      Fundamentals of Computation Theory

      Jan Arne Telle, Martin Steffen, Olaf Owe

      E-bok
      2011

      718 kr

      Dennis Dams, Ulrich Hannemann, Martin Steffen - Concurrency, Compositionality, and Correctness, Häftad

      Concurrency, Compositionality, and Correctness

      Dennis Dams, Ulrich Hannemann, Martin Steffen

      Häftad, 2010

      577 kr

      Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Camara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun - Software Architecture, Häftad
      Del 1269

      Software Architecture

      Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Camara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun

      Häftad, 2020

      1 147 kr

      Javier Cámara, Sung-Shik Jongmans - Formal Aspects of Component Software, Häftad
      Del 14485

      Formal Aspects of Component Software

      Javier Cámara, Sung-Shik Jongmans

      Häftad, 2024

      734 kr