• 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. Hårdvara

      Formal Methods and Software Engineering

      21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

      AvShengchao Qin,Yamine Ait-Ameur

      E-bok
      Engelska, 2019

      732 kr

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

      Beskrivning

      This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. 
      The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods. 

      Produktinformation

      • Utgivningsdatum:2019-10-28
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783030324094
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Hårdvara 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

      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

      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

      Zongyan Qiu, Shengchao Qin - Formal Methods and Software Engineering, E-bok

      Formal Methods and Software Engineering

      Zongyan Qiu, Shengchao Qin

      E-bok
      2011

      734 kr

      Shengchao Qin, Zongyan Qiu - Formal Methods and Software Engineering, Häftad

      Formal Methods and Software Engineering

      Shengchao Qin, Zongyan Qiu

      Häftad, 2011

      566 kr

      Shengchao Qin, Jim Woodcock, Wenhui Zhang - Dependable Software Engineering. Theories, Tools, and Applications, Häftad
      Del 13071

      Dependable Software Engineering. Theories, Tools, and Applications

      Shengchao Qin, Jim Woodcock, Wenhui Zhang

      Häftad, 2021

      845 kr

      Shengchao Qin - Unifying Theories of Programming, Häftad

      Unifying Theories of Programming

      Shengchao Qin

      Häftad, 2010

      566 kr

      Shengchao Qin - Unifying Theories of Programming, E-bok

      Unifying Theories of Programming

      Shengchao Qin

      E-bok
      2010

      732 kr

      Wenhui Zhang, Jim Woodcock, Shengchao Qin - Dependable Software Engineering. Theories, Tools, and Applications, E-bok

      Dependable Software Engineering. Theories, Tools, and Applications

      Wenhui Zhang, Jim Woodcock, Shengchao Qin

      E-bok
      2021

      1 056 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

      Florin Craciun, Yamine Ait-Ameur - Theoretical Aspects of Software Engineering, E-bok

      Theoretical Aspects of Software Engineering

      Florin Craciun, Yamine Ait-Ameur

      E-bok
      2022

      1 211 kr