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

      Tests and Proofs

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

      AvLaura Kovács,Karl Meinke

      Häftad, Engelska, 2022

      Del 13361 i serien Lecture Notes in Computer Science

      549 kr

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

      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-22
      • Mått:155 x 235 x 8 mm
      • Vikt:224 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:127
      • Förlag:Springer International Publishing AG
      • ISBN:9783031098260

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Filosofiska discipliner inom Filosofi och religion

      Innehållsförteckning

      • Formal Analysis and Proofs.- Effective Testing.
      Hoppa över listan

      Du kanske också är intresserad av

      Karl Meinke, Laura Kovacs - Tests and Proofs, E-bok

      Tests and Proofs

      Karl Meinke, Laura Kovacs

      E-bok
      2022

      710 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

      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

      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

      Laura Kovács, Ana Sokolova - Reachability Problems, Häftad
      Del 15050

      Reachability Problems

      Laura Kovács, Ana Sokolova

      Häftad, 2024

      733 kr

      Bernd Finkbeiner, Laura Kovács - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
      Del 14570

      Tools and Algorithms for the Construction and Analysis of Systems

      Bernd Finkbeiner, Laura Kovács

      Häftad, 2024

      454 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

      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

      Nikolai Kosmatov, Laura Kovács - Integrated Formal Methods, Häftad
      Del 15234

      Integrated Formal Methods

      Nikolai Kosmatov, Laura Kovács

      Häftad, 2024

      1 571 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