• 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. Programmeringsböcker

      Automated Reasoning with Analytic Tableaux and Related Methods

      International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

      AvBernhard Beckert

      E-bok
      PDF, Engelska, 2005

      739 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

      Produktinformation

      • Utgivningsdatum:2005-09-14
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540318224
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

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

      Du kanske också är intresserad av

      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 798 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

      579 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

      739 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

      581 kr

      Mihkel Solvak, David Duenas-Cid, Oksana Kulyk, Ralf Kusters, Bernhard Beckert, Melanie Volkamer, Robert Krimmer - Electronic Voting, E-bok

      Electronic Voting

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

      E-bok
      2020

      739 kr

      Marcello M. Bonsangue, Frank S. de Boer, Ferruccio Damiani, Bernhard Beckert - Formal Methods for Components and Objects, E-bok

      Formal Methods for Components and Objects

      Marcello M. Bonsangue, Frank S. de Boer, Ferruccio Damiani, Bernhard Beckert

      E-bok
      2013

      734 kr

      Bernhard Beckert, Reiner Hähnle - Tests and Proofs, Häftad

      Tests and Proofs

      Bernhard Beckert, Reiner Hähnle

      Häftad, 2008

      581 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 385 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

      581 kr