• 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

10% studentrabatt med kod TERM26

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 @ 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. Programmeringsböcker
      3. Programvaruutveckling

      Formal Verification of Object-Oriented Software

      International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

      AvBernhard Beckert,Claude Marché

      Häftad, Engelska, 2011

      Del i serien Lecture Notes in Computer Science

      566 kr

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

      Beskrivning

      This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.

      Produktinformation

      • Utgivningsdatum:2011-01-14
      • Mått:155 x 235 x undefined mm
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:199
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783642180699

      Utforska kategorier

      • Programvaruutveckling inom Data och IT
      • Programmeringsböcker inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Claude Marche, Bernhard Beckert - Formal Verification of Object-Oriented Software, E-bok

      Formal Verification of Object-Oriented Software

      Claude Marche, Bernhard Beckert

      E-bok
      2011

      732 kr

      Ralf Treinen, Claude Marche, Hubert Comon - Constraints in Computational Logics: Theory and Applications, E-bok

      Constraints in Computational Logics: Theory and Applications

      Ralf Treinen, Claude Marche, Hubert Comon

      E-bok
      2003

      732 kr

      Hubert Comon, Claude Marche, Ralf Treinen - Constraints in Computational Logics: Theory and Applications, Häftad

      Constraints in Computational Logics: Theory and Applications

      Hubert Comon, Claude Marche, Ralf Treinen

      Häftad, 2001

      566 kr

      Einar Broch Johnsen, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt - Logic of Software. A Tasting Menu of Formal Methods, E-bok

      Logic of Software. A Tasting Menu of Formal Methods

      Einar Broch Johnsen, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt

      E-bok
      2022

      1 455 kr

      Mattias Ulbrich, Peter H. Schmitt, Reiner Hahnle, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt - Deductive Software Verification - The KeY Book, E-bok

      Deductive Software Verification - The KeY Book

      Mattias Ulbrich, Peter H. Schmitt, Reiner Hahnle, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt

      E-bok
      2016

      1 785 kr

      Robert Krimmer, Melanie Volkamer, Bernhard Beckert, Ralf Küsters, Oksana Kulyk, David Duenas-Cid, Mihkel Solvak - Electronic Voting, Häftad
      Del 12455

      Electronic Voting

      Robert Krimmer, Melanie Volkamer, Bernhard Beckert, Ralf Küsters, Oksana Kulyk, David Duenas-Cid, Mihkel Solvak

      Häftad, 2020

      566 kr

      Mattias Ulbrich, Reiner Hahnle, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt - Deductive Software Verification: Future Perspectives, E-bok

      Deductive Software Verification: Future Perspectives

      Mattias Ulbrich, Reiner Hahnle, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt

      E-bok
      2020

      732 kr

      Bernhard Beckert - Automated Reasoning with Analytic Tableaux and Related Methods, Häftad

      Automated Reasoning with Analytic Tableaux and Related Methods

      Bernhard Beckert

      Häftad, 2005

      566 kr

      Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich - Deductive Software Verification – The KeY Book, Häftad
      Del 10001

      Deductive Software Verification – The KeY Book

      Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich

      Häftad, 2016

      1 348 kr

      Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich - Deductive Software Verification: Future Perspectives, Häftad
      Del 12345

      Deductive Software Verification: Future Perspectives

      Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich

      Häftad, 2020

      566 kr