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

      Formal Methods and Software Engineering

      19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi''an, China, November 13-17, 2017, Proceedings

      AvLuke Ong,Zhenhua Duan

      E-bok
      Engelska, 2017

      732 kr

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

      Beskrivning

      This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi''an, China, in November 2017. 
      The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

      Produktinformation

      • Utgivningsdatum:2017-10-13
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783319686905
      • 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

      Zhenhua Duan, Luke Ong - Formal Methods and Software Engineering, Häftad
      Del 10610

      Formal Methods and Software Engineering

      Zhenhua Duan, Luke Ong

      Häftad, 2017

      566 kr

      Prakash Panangaden, Luke Ong, Bob Coecke - Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky, E-bok

      Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky

      Prakash Panangaden, Luke Ong, Bob Coecke

      E-bok
      2013

      732 kr

      Luke Ong - Typed Lambda Calculi and Applications, E-bok

      Typed Lambda Calculi and Applications

      Luke Ong

      E-bok
      2011

      712 kr

      Luke Ong - Computer Science Logic, E-bok

      Computer Science Logic

      Luke Ong

      E-bok
      2005

      710 kr

      Luke Ong - Typed Lambda Calculi and Applications, Häftad

      Typed Lambda Calculi and Applications

      Luke Ong

      Häftad, 2011

      549 kr

      Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong - Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008, Inbunden

      Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

      Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong

      Inbunden, 2008

      1 644 kr

      Luke Ong, Ruy de Queiroz - Logic, Language, Information, and Computation, Häftad

      Logic, Language, Information, and Computation

      Luke Ong, Ruy de Queiroz

      Häftad, 2012

      549 kr

      Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong - Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008, Häftad
      Del 273

      Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

      Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong

      Häftad, 2010

      1 644 kr

      Luke Ong - Foundations of Software Science and Computational Structures, E-bok

      Foundations of Software Science and Computational Structures

      Luke Ong

      E-bok
      2010

      739 kr

      Luke Ong - Computer Science Logic, Häftad

      Computer Science Logic

      Luke Ong

      Häftad, 2005

      566 kr