• 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
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

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

    Formal Methods for Industrial Critical Systems

    20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

    AvManuel Núñez,Matthias Güdemann

    Häftad, Engelska, 2015

    Del 9128 i serien Lecture Notes in Computer Science

    538 kr

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

    Beskrivning

    This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.

    Produktinformation

    • Utgivningsdatum:2015-05-27
    • Mått:155 x 235 x 13 mm
    • Vikt:359 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:213
    • Förlag:Springer International Publishing AG
    • ISBN:9783319194578

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT
    • Programvaruutveckling inom Data och IT
    • Programmeringsböcker inom Data och IT

    Innehållsförteckning

    • Applications.- Protocols.- Specification and analysis.- Verification.
    Hoppa över listan

    Du kanske också är intresserad av

    Mats Ahlstedt, Veronica Ahlstedt McCleave - Visselblåsaren, Pocket
    • -51%
    Del 1

    Visselblåsaren

    Mats Ahlstedt, Veronica Ahlstedt McCleave

    Pocket, 2025

    3,5 utav 5 stjärnor. Totalt antal röster:(2)

    49 kr99 kr

    Eric-Emmanuel Schmitt, Wolfgang Ader, Gerhard Krüger - Oscar et la dame rose, Häftad
    Del 9128

    Oscar et la dame rose

    Eric-Emmanuel Schmitt, Wolfgang Ader, Gerhard Krüger

    Häftad

    5,0 utav 5 stjärnor. Totalt antal röster:(2)

    108 kr

    Matthias Gudemann, Manuel Nunez - Formal Methods for Industrial Critical Systems, E-bok

    Formal Methods for Industrial Critical Systems

    Matthias Gudemann, Manuel Nunez

    E-bok
    2015

    650 kr

    Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer - Go Where the Bugs Are, Häftad
    Del 15765

    Go Where the Bugs Are

    Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer

    Häftad, 2025

    812 kr

    Alexander Schiendorfer, Gerhard Schellhorn, Hella Ponsar, Frank Ortmeier, Florian Nafz, Alexander Knapp, Matthias Gudemann, Gidon Ernst - Go Where the Bugs Are, E-bok

    Go Where the Bugs Are

    Alexander Schiendorfer, Gerhard Schellhorn, Hella Ponsar, Frank Ortmeier, Florian Nafz, Alexander Knapp, Matthias Gudemann, Gidon Ernst

    E-bok
    2025

    1 026 kr

    Ngoc Thanh Nguyen, Bogdan Franczyk, André Ludwig, Manuel Núñez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz - Computational Collective Intelligence, Häftad
    Del 14810

    Computational Collective Intelligence

    Ngoc Thanh Nguyen, Bogdan Franczyk, André Ludwig, Manuel Núñez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz

    Häftad, 2024

    837 kr

    Ngoc Thanh Nguyen, Vu Dinh Duc Anh, Adrianna Kozierkiewicz, Sinh Nguyen Van, Manuel Núñez, Jan Treur, Gottfried Vossen - Computational Collective Intelligence, Häftad
    Del 16138

    Computational Collective Intelligence

    Ngoc Thanh Nguyen, Vu Dinh Duc Anh, Adrianna Kozierkiewicz, Sinh Nguyen Van, Manuel Núñez, Jan Treur, Gottfried Vossen

    Häftad, 2025

    1 179 kr

    Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro - Web Services and Formal Methods, Häftad

    Web Services and Formal Methods

    Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro

    Häftad, 2006

    560 kr

    Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński - Computational Collective Intelligence, Häftad
    Del 9330

    Computational Collective Intelligence

    Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński

    Häftad, 2015

    560 kr

    Steve Counsell, Manuel Núñez - Software Engineering and Formal Methods, Häftad
    Del 8368

    Software Engineering and Formal Methods

    Steve Counsell, Manuel Núñez

    Häftad, 2014

    560 kr