• 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
      3. Programvaruutveckling

      Theoretical Aspects of Software Engineering

      16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings

      AvFlorin Craciun,Yamine Ait-Ameur

      E-bok
      Engelska, 2022

      1 211 kr

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

      Beskrivning

      This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.

      Produktinformation

      • Utgivningsdatum:2022-07-01
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783031103636
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Programvaruutveckling inom Data och IT
      • Databaser inom Data och IT
      • Tillämpad datateknik inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Yamine Aït-Ameur, Florin Crăciun - Theoretical Aspects of Software Engineering, Häftad
      Del 13299

      Theoretical Aspects of Software Engineering

      Yamine Aït-Ameur, Florin Crăciun

      Häftad, 2022

      957 kr

      Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos - Engineering of Complex Computer Systems, Häftad
      Del 14784

      Engineering of Complex Computer Systems

      Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos

      Häftad, 2024

      845 kr

      Shengchao Qin, Yamine Ait-Ameur - Formal Methods and Software Engineering, E-bok

      Formal Methods and Software Engineering

      Shengchao Qin, Yamine Ait-Ameur

      E-bok
      2019

      732 kr

      Yamine Ait-Ameur, Jesus M. Almendros Jimenez, Oscar Pastor, Ladjel Bellatreche - Model and Data Engineering, E-bok

      Model and Data Engineering

      Yamine Ait-Ameur, Jesus M. Almendros Jimenez, Oscar Pastor, Ladjel Bellatreche

      E-bok
      2016

      732 kr

      Dominique Mery, Shin Nakajima, Yamine Ait-Ameur - Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems, E-bok

      Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

      Dominique Mery, Shin Nakajima, Yamine Ait-Ameur

      E-bok
      2020

      1 389 kr

      Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe - ABZ 2014: The Landing Gear Case Study, Häftad
      Del 433

      ABZ 2014: The Landing Gear Case Study

      Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe

      Häftad, 2014

      566 kr

      Klaus-Dieter Schewe, Yamine Ait Ameur - Abstract State Machines, Alloy, B, TLA, VDM, and Z, E-bok

      Abstract State Machines, Alloy, B, TLA, VDM, and Z

      Klaus-Dieter Schewe, Yamine Ait Ameur

      E-bok
      2014

      732 kr

      George A. Papadopoulos, Ladjel Bellatreche, Yamine Ait Ameur - Model and Data Engineering, E-bok

      Model and Data Engineering

      George A. Papadopoulos, Ladjel Bellatreche, Yamine Ait Ameur

      E-bok
      2014

      732 kr

      Yamine Ait-Ameur, Shin Nakajima, Dominique Méry - Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems, Häftad

      Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

      Yamine Ait-Ameur, Shin Nakajima, Dominique Méry

      Häftad, 2021

      1 092 kr

      Yamine Ait-Ameur, Shengchao Qin - Formal Methods and Software Engineering, Häftad
      Del 11852

      Formal Methods and Software Engineering

      Yamine Ait-Ameur, Shengchao Qin

      Häftad, 2019

      566 kr