• 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

      18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

      AvShaoying Liu,Mark Lawford

      E-bok
      PDF, Engelska, 2016

      732 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

      Beskrivning

      This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

      Produktinformation

      • Utgivningsdatum:2016-10-31
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783319478463
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Hårdvara inom Data och IT
      • Programmeringsböcker inom Data och IT
      • Programvaruutveckling inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu - Formal Methods and Software Engineering, Häftad
      Del 15394

      Formal Methods and Software Engineering

      Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu

      Häftad, 2024

      845 kr

      Shaoying Liu, Meng Sun, Dominique Mery, Kazuhiro Ogata - Formal Methods and Software Engineering, E-bok

      Formal Methods and Software Engineering

      Shaoying Liu, Meng Sun, Dominique Mery, Kazuhiro Ogata

      E-bok
      2024

      1 056 kr

      Kazuhiro Ogata, Mark Lawford, Shaoying Liu - Formal Methods and Software Engineering, Häftad
      Del 10009

      Formal Methods and Software Engineering

      Kazuhiro Ogata, Mark Lawford, Shaoying Liu

      Häftad, 2016

      566 kr

      Mark Lawford - First Folio, Häftad
      Del 1

      First Folio

      Mark Lawford

      Häftad, 2025

      198 kr

      Mark Lawford - Misadventures of Doctor Faustus, Häftad
      • Nyhet

      Misadventures of Doctor Faustus

      Mark Lawford

      Häftad, 2026

      232 kr

      Shusaku Iida, José Meseguer, Kazuhiro Ogata - Specification, Algebra, and Software, Häftad

      Specification, Algebra, and Software

      Shusaku Iida, José Meseguer, Kazuhiro Ogata

      Häftad, 2014

      566 kr

      Kazuhiro Ogata, Narciso Martí-Oliet - Rewriting Logic and Its Applications, Häftad
      Del 14953

      Rewriting Logic and Its Applications

      Kazuhiro Ogata, Narciso Martí-Oliet

      Häftad, 2024

      637 kr

      Narciso Marti-Oliet, Kazuhiro Ogata - Rewriting Logic and Its Applications, E-bok

      Rewriting Logic and Its Applications

      Narciso Marti-Oliet, Kazuhiro Ogata

      E-bok
      2024

      789 kr

      Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan - Structured Object-Oriented Formal Language and Method, Häftad

      Structured Object-Oriented Formal Language and Method

      Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan

      Häftad, 2021

      566 kr

      Kazuhiro Ogata, Jose Meseguer, Shusaku Iida - Specification, Algebra, and Software, E-bok

      Specification, Algebra, and Software

      Kazuhiro Ogata, Jose Meseguer, Shusaku Iida

      E-bok
      2014

      732 kr