• 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

      Software Engineering and Formal Methods

      13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

      AvBernhard Rumpe,Radu Calinescu

      E-bok
      PDF, Engelska, 2015

      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 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.

      The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

      Produktinformation

      • Utgivningsdatum:2015-08-23
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783319229690
      • 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

      Radu Calinescu, Bernhard Rumpe - Software Engineering and Formal Methods, Häftad
      Del 9276

      Software Engineering and Formal Methods

      Radu Calinescu, Bernhard Rumpe

      Häftad, 2015

      566 kr

      Domenico Bianculli, Radu Calinescu, Bernhard Rumpe - Software Engineering and Formal Methods, Häftad

      Software Engineering and Formal Methods

      Domenico Bianculli, Radu Calinescu, Bernhard Rumpe

      Häftad, 2016

      566 kr

      Bernhard Rumpe, Radu Calinescu, Domenico Bianculli - Software Engineering and Formal Methods, E-bok

      Software Engineering and Formal Methods

      Bernhard Rumpe, Radu Calinescu, Domenico Bianculli

      E-bok
      2016

      712 kr

      Felicita Di Giandomenico, Radu Calinescu - Software Engineering for Resilient Systems, E-bok

      Software Engineering for Resilient Systems

      Felicita Di Giandomenico, Radu Calinescu

      E-bok
      2019

      732 kr

      Radu Calinescu, David Garlan - Large-Scale Complex IT Systems. Development, Operation and Management, Häftad

      Large-Scale Complex IT Systems. Development, Operation and Management

      Radu Calinescu, David Garlan

      Häftad, 2012

      566 kr

      Ethan Jackson, Radu Calinescu - Foundations of Computer Software, E-bok

      Foundations of Computer Software

      Ethan Jackson, Radu Calinescu

      E-bok
      2011

      732 kr

      Corina S. Pasareanu, Radu Calinescu - Software Engineering and Formal Methods, E-bok

      Software Engineering and Formal Methods

      Corina S. Pasareanu, Radu Calinescu

      E-bok
      2021

      1 138 kr

      Radu Calinescu, Ethan Jackson - Foundations of Computer Software, Häftad

      Foundations of Computer Software

      Radu Calinescu, Ethan Jackson

      Häftad, 2011

      566 kr

      Radu Calinescu, Corina S. Păsăreanu - Software Engineering and Formal Methods, Häftad
      Del 13085

      Software Engineering and Formal Methods

      Radu Calinescu, Corina S. Păsăreanu

      Häftad, 2021

      903 kr

      Radu Calinescu, Felicita Di Giandomenico - Software Engineering for Resilient Systems, Häftad
      Del 11732

      Software Engineering for Resilient Systems

      Radu Calinescu, Felicita Di Giandomenico

      Häftad, 2019

      566 kr