• 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
  • Skönlitteratur
  • Deckare
  • Barn och ungdom
  • Samhälle och politik
  • Psykologi och pedagogik
  • Fantasy, SciFi och skräck
  • Hälsa och familj
  • Biografier
  • Ekonomi och Ledarskap
  • Mat och dryck
  • Kultur
  • Medicin
  • Historia och arkeologi
  • Naturvetenskap och teknik
  • Filosofi och religion
  • Pennor och tillbehör
  • Sport, fritid och hobby
  • Läromedel
  • Juridik
  • Tecknade serier
  • Spel och pussel
  • Språk och ordböcker
  • Kalender
  • Djur och Natur
  • Ande, kropp och själ
  • Hem och Trädgård
  • Anteckning
  • Reseguider
  • Data och IT
  • Kort, Kuvert och Brevpapper
  • Måla och pyssla
  • Kontorsmaterial
  • Lästillbehör
  • Romaner
  • Romance
  • Feelgood
  • Essäer
  • Noveller
  • Action och Äventyrsromaner
  • Komedi
  • Litteraturvetenskap
  • Poesi
  • Dramatik
  • Myter
  • Erotiska böcker
  • Antologier
  • Folksagor
  • Sagor
  • Polisromaner
  • Thriller
  • Deckare
  • Mysdeckare
  • Psykologisk spänning
  • Historiska deckare
  • Klassiska deckare
  • Barnböcker 3-6 år
  • Barnböcker 6-9 år
  • Barnböcker 9-12 år
  • Barnböcker 0-3 år
  • Faktaböcker
  • Kapitelböcker
  • Pysselböcker
  • Böcker 12-15 år
  • Lättlästa barnböcker
  • Ungdomsböcker
  • Böcker om känslor
  • Klassiska barnböcker
  • Populära teman
  • Kokböcker för barn
  • Presentböcker
  • Godnattsagor
  • Samhälle och kultur
  • Politik och statsskick
  • Social välfärd och brottslighet
  • Sociologi och antropologi
  • Reportage, journalistik och krönikor
  • Krig och försvar
  • Psykologi
  • Pedagogik
  • Fantasy
  • Science fiction
  • Skräck
  • Hälsa
  • Självhjälp och praktiska råd
  • Relationer
  • Föräldraböcker
  • Självförsörjning och grön livsstil
  • Prepping och överlevnadskunskap
  • Sanna berättelser
  • Biografier
  • Självbiografier och Memoarer
  • Tal
  • Företagsekonomi
  • Ledarskapsböcker
  • Nationalekonomi
  • Industrier och branscher
  • Karriärplanering
  • Privatekonomi
  • Kokböcker
  • Kokböcker från kända kockar
  • Drycker
  • Tobak
  • Musikböcker
  • Konstböcker
  • Arkitektur
  • Designböcker
  • Fotoböcker
  • Scenkonst och film
  • Andra medicinska specialiteter
  • Omvårdnad och medicinska stödfunktioner
  • Medicin: allmänt
  • Klinisk medicin och internmedicin
  • Medicin: icke kliniska discipliner
  • Alternativ medicin och terapier
  • Medicinska studiehandledningar och referensmaterial
  • Kirurgi
  • Veterinärmedicin
  • Historia
  • Arkeologi
  • Matematik och naturvetenskap
  • Geovetenskap
  • Teknik och industri
  • Religion och tro
  • Filosofi
  • Pennor
  • Penntillbehör
  • Hantverk och handarbete
  • Sportböcker
  • Humor och presentböcker
  • Hobby, spel och lekar
  • Fordonsböcker
  • Fest och bröllop
  • Fiske, jakt och skytte
  • Livsstil och stilguider
  • Antikviteter och samlarobjekt
  • Läromedel: matematik och naturvetenskap
  • Läromedel: språk
  • Läromedel: yrkesutbildning och övriga ämnen
  • Läromedel: samhälle och humaniora
  • Läromedel: estetiska ämnen
  • Läromedel: studiehandledningar och handböcker
  • Särskilda rättsområden
  • Rättsvetenskap
  • Lagtextsamlingar, lagböcker
  • Internationell rätt
  • Juridik: handböcker
  • Tecknade serier och romaner
  • Manga
  • Spel
  • Pussel
  • Leksaker
  • Språk: referensverk och allmänt
  • Språkundervisning och språkinlärning
  • Språkvetenskap och lingvistik
  • Kalender och almanacka
  • Adventskalender
  • Djurböcker
  • Naturböcker
  • Ande, kropp och själ
  • Övernaturliga fenomen / det paranormala
  • Trädgårdsböcker
  • Hus och hem
  • Heminredning
  • Anteckningsböcker och block
  • Notisblock och flikar
  • Anteckning för barn
  • Gästböcker och adressböcker
  • Reseböcker
  • Kartböcker
  • Parlörer
  • Systemvetenskap och AI
  • Informationsteknik: allmänt
  • Programmeringsböcker
  • Grafik och bildbehandling
  • Databaser
  • Digital livsstil och datorspel
  • Affärsapplikationer
  • Människa – datorinteraktion
  • IT-säkerhet
  • Operativsystem
  • Nätverk och kommunikation
  • It-certifieringar
  • Tillämpad datateknik
  • Hårdvara
  • Kort
  • Kuvert
  • Brevpapper
  • Etiketter
  • Placeringskort
  • Pyssel & DIY
  • Kreativitet
  • Måla och teckna
  • Fotoalbum och tillbehör
  • Skrivbordsförvaring
  • Skrivbordsprodukter
  • Arkivering och bokföring
  • Kopieringspapper
  • Bokmärken
  • Bokstöd och Book Nook
  • Läsglasögon
  • Läslampor

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. Systemvetenskap och AI

      Software Engineering and Formal Methods

      12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

      AvDimitra Giannakopoulou,Gwen Salaün

      Häftad, Engelska, 2014

      Del 8702 i serien Lecture Notes in Computer Science

      581 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.

      Produktinformation

      • Utgivningsdatum:2014-08-04
      • Mått:155 x 235 x 23 mm
      • Vikt:628 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:394
      • Upplaga:2014
      • Förlag:Springer International Publishing AG
      • ISBN:9783319104300

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Hårdvara inom Data och IT

      Innehållsförteckning

      • Program Verification.- Testing.- Component-Based Systems.- Real-Time and Embedded Systems.- Model Checking and Automata Learning.- Tool Papers.- Program Correctness.- Adaptive and Multi-Agent Systems.
      Hoppa över listan

      Du kanske också är intresserad av

      Gwen Salaun, Dimitra Giannakopoulou - Software Engineering and Formal Methods, E-bok

      Software Engineering and Formal Methods

      Gwen Salaun, Dimitra Giannakopoulou

      E-bok
      2014

      739 kr

      Dimitra Giannakopoulou, Anastasia Mavridou, Susmit Jha, Ritchie Lee - NASA Formal Methods, E-bok

      NASA Formal Methods

      Dimitra Giannakopoulou, Anastasia Mavridou, Susmit Jha, Ritchie Lee

      E-bok
      2020

      1 067 kr

      Dimitra Giannakopoulou, Daniel Kroening - Verified Software: Theories, Tools and Experiments, Häftad
      Del 8471

      Verified Software: Theories, Tools and Experiments

      Dimitra Giannakopoulou, Daniel Kroening

      Häftad, 2014

      558 kr

      Dimitra Giannakopoulou, Fernando Orejas - Fundamental Approaches to Software Engineering, Häftad

      Fundamental Approaches to Software Engineering

      Dimitra Giannakopoulou, Fernando Orejas

      Häftad, 2011

      581 kr

      Dominique Mery, Dimitra Giannakopoulou - FM 2012: Formal Methods, E-bok

      FM 2012: Formal Methods

      Dominique Mery, Dimitra Giannakopoulou

      E-bok
      2012

      739 kr

      Fernando Orejas, Dimitra Giannakopoulou - Fundamental Approaches to Software Engineering, E-bok

      Fundamental Approaches to Software Engineering

      Fernando Orejas, Dimitra Giannakopoulou

      E-bok
      2011

      739 kr

      Daniel Kroening, Dimitra Giannakopoulou - Verified Software: Theories, Tools and Experiments, E-bok

      Verified Software: Theories, Tools and Experiments

      Daniel Kroening, Dimitra Giannakopoulou

      E-bok
      2014

      657 kr

      Dimitra Giannakopoulou, Dominique Mery - FM 2012: Formal Methods, Häftad

      FM 2012: Formal Methods

      Dimitra Giannakopoulou, Dominique Mery

      Häftad, 2012

      581 kr

      Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou - NASA Formal Methods, Häftad
      Del 12229

      NASA Formal Methods

      Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou

      Häftad, 2020

      854 kr

      Bernhard Schatz, Gwen Salaun - Formal Methods for Industrial Critical Systems, E-bok

      Formal Methods for Industrial Critical Systems

      Bernhard Schatz, Gwen Salaun

      E-bok
      2011

      739 kr