• 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. Filosofi och religion
      2. Filosofi
      3. Filosofiska discipliner

      Tests and Proofs

      16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

      AvKarl Meinke,Laura Kovacs

      E-bok
      Engelska, 2022

      710 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet

      Beskrivning

      This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.

      The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing.

      Produktinformation

      • Utgivningsdatum:2022-06-21
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783031098277
      • Förlag:Springer International Publishing

      Utforska kategorier

      • Filosofiska discipliner inom Filosofi och religion
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Ana Sokolova, Laura Kovacs - Reachability Problems, E-bok

      Reachability Problems

      Ana Sokolova, Laura Kovacs

      E-bok
      2024

      894 kr

      Laura Kovács, Karl Meinke - Tests and Proofs, Häftad
      Del 13361

      Tests and Proofs

      Laura Kovács, Karl Meinke

      Häftad, 2022

      549 kr

      Laura Kovacs, Nikolai Kosmatov - Integrated Formal Methods, E-bok

      Integrated Formal Methods

      Laura Kovacs, Nikolai Kosmatov

      E-bok
      2024

      1 942 kr

      Laura Kovacs, Andrea Kohlhase - Intelligent Computer Mathematics, E-bok

      Intelligent Computer Mathematics

      Laura Kovacs, Andrea Kohlhase

      E-bok
      2024

      1 534 kr

      Michael Hanus, Jan Heering, Karl Meinke - Algebraic and Logic Programming, Häftad

      Algebraic and Logic Programming

      Michael Hanus, Jan Heering, Karl Meinke

      Häftad, 1997

      566 kr

      Karl Meinke, Reiner Hahnle, Amel Bennaceur - Machine Learning for Dynamic Software Analysis: Potentials and Limits, E-bok

      Machine Learning for Dynamic Software Analysis: Potentials and Limits

      Karl Meinke, Reiner Hahnle, Amel Bennaceur

      E-bok
      2018

      813 kr

      Egon Börger, Yuri Gurevich, Karl Meinke - Computer Science Logic, Häftad

      Computer Science Logic

      Egon Börger, Yuri Gurevich, Karl Meinke

      Häftad, 1994

      566 kr

      Amel Bennaceur, Reiner Hähnle, Karl Meinke - Machine Learning for Dynamic Software Analysis: Potentials and Limits, Häftad
      Del 11026

      Machine Learning for Dynamic Software Analysis: Potentials and Limits

      Amel Bennaceur, Reiner Hähnle, Karl Meinke

      Häftad, 2018

      655 kr

      Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller - Higher-Order Algebra, Logic, and Term Rewriting, Häftad

      Higher-Order Algebra, Logic, and Term Rewriting

      Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller

      Häftad, 1996

      566 kr

      Catuscia Palamidessi, Hugh Glaser, Karl Meinke - Principles of Declarative Programming, Häftad

      Principles of Declarative Programming

      Catuscia Palamidessi, Hugh Glaser, Karl Meinke

      Häftad, 1998

      566 kr