• 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

      Fundamental Approaches to Software Engineering

      23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

      AvHeike Wehrheim,Jordi Cabot

      Häftad, Engelska, 2020

      Del 12076 i serien Lecture Notes in Computer Science

      457 kr

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

      Beskrivning

      This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions.The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.

      Produktinformation

      • Utgivningsdatum:2020-04-21
      • Mått:155 x 235 x 31 mm
      • Vikt:850 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:552
      • Förlag:Springer Nature Switzerland AG
      • ISBN:9783030452339

      Utforska kategorier

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

      Innehållsförteckning

      • Requirements engineering.- Software architectures.- Specification.- Software quality.- Validation.- Verification of functional and non-functional properties.- Model-driven development and model transformation.- Software processes.- Security and software evolution.
      Hoppa över listan

      Du kanske också är intresserad av

      Heike Wehrheim, Jordi Cabot - Fundamental Approaches to Software Engineering, Inbunden

      Fundamental Approaches to Software Engineering

      Heike Wehrheim, Jordi Cabot

      Inbunden, 2020

      882 kr

      Heike Wehrheim, Jordi Cabot - Fundamental Approaches to Software Engineering, Häftad

      Fundamental Approaches to Software Engineering

      Heike Wehrheim, Jordi Cabot

      Häftad, 2020

      821 kr

      Michael Leuschel, Heike Wehrheim - Integrated Formal Methods, Häftad

      Integrated Formal Methods

      Michael Leuschel, Heike Wehrheim

      Häftad, 2009

      566 kr

      Zhiming Liu, Adnane Saoud, Heike Wehrheim - Theoretical Aspects of Computing – ICTAC 2025, Häftad
      Del 16237

      Theoretical Aspects of Computing – ICTAC 2025

      Zhiming Liu, Adnane Saoud, Heike Wehrheim

      Häftad, 2025

      835 kr

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

      Correct System Design

      Heike Wehrheim, Andre Platzer, Roland Meyer

      E-bok
      2015

      631 kr

      Wolfgang Ahrendt, Heike Wehrheim - Tests and Proofs, Häftad
      Del 12165

      Tests and Proofs

      Wolfgang Ahrendt, Heike Wehrheim

      Häftad, 2020

      569 kr

      Heike Wehrheim, Michael Leuschel - Integrated Formal Methods, E-bok

      Integrated Formal Methods

      Heike Wehrheim, Michael Leuschel

      E-bok
      2009

      739 kr

      Heike Wehrheim, Wolfgang Ahrendt - Tests and Proofs, E-bok

      Tests and Proofs

      Heike Wehrheim, Wolfgang Ahrendt

      E-bok
      2020

      732 kr

      Heike Wehrheim, Adnane Saoud, Zhiming Liu - Theoretical Aspects of Computing - ICTAC 2025, E-bok

      Theoretical Aspects of Computing - ICTAC 2025

      Heike Wehrheim, Adnane Saoud, Zhiming Liu

      E-bok
      2025

      1 056 kr

      Heike Wehrheim, Roberto Gorrieri - Formal Methods for Open Object-Based Distributed Systems, E-bok

      Formal Methods for Open Object-Based Distributed Systems

      Heike Wehrheim, Roberto Gorrieri

      E-bok
      2006

      732 kr