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

      Formal Methods: Foundations and Applications

      19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

      AvLeila Ribeiro,Thierry Lecomte

      Häftad, Engelska, 2016

      Del 10090 i serien Lecture Notes in Computer Science

      566 kr

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

      Beskrivning

      This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

      Produktinformation

      • Utgivningsdatum:2016-11-13
      • Mått:155 x 235 x 15 mm
      • Vikt:406 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:253
      • Förlag:Springer International Publishing AG
      • ISBN:9783319498140

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Människa – datorinteraktion inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Thierry Lecomte, Leila Ribeiro - Formal Methods: Foundations and Applications, E-bok

      Formal Methods: Foundations and Applications

      Thierry Lecomte, Leila Ribeiro

      E-bok
      2016

      739 kr

      Leila Ribeiro, Emil Sekerinski - Formal Methods Teaching, E-bok

      Formal Methods Teaching

      Leila Ribeiro, Emil Sekerinski

      E-bok
      2024

      521 kr

      Grzegorz Rozenberg, Leila Ribeiro, Ugo Montanari, Hartmut Ehrig, Andrea Corradini - Graph Transformations, E-bok

      Graph Transformations

      Grzegorz Rozenberg, Leila Ribeiro, Ugo Montanari, Hartmut Ehrig, Andrea Corradini

      E-bok
      2006

      710 kr

      Emil Sekerinski, Leila Ribeiro - Formal Methods Teaching, Häftad
      Del 14939

      Formal Methods Teaching

      Emil Sekerinski, Leila Ribeiro

      Häftad, 2024

      426 kr

      Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg - Graph Transformations, Häftad

      Graph Transformations

      Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg

      Häftad, 2006

      549 kr

      Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad
      Del 10598

      Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

      Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky

      Häftad, 2017

      551 kr

      Alexander Romanovsky, Thierry Lecomte, Simon Collart-Dutilleul - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, E-bok

      Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

      Alexander Romanovsky, Thierry Lecomte, Simon Collart-Dutilleul

      E-bok
      2019

      813 kr

      Thierry Lecomte, Ralf Pinger, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad
      Del 9707

      Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

      Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

      Häftad, 2016

      566 kr

      Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad
      Del 14198

      Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

      Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte

      Häftad, 2023

      716 kr

      Thierry Lecomte, Anne E. Haxthausen, Simon Collart-Dutilleul - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, E-bok

      Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

      Thierry Lecomte, Anne E. Haxthausen, Simon Collart-Dutilleul

      E-bok
      2022

      896 kr