• 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

      Automated Technology for Verification and Analysis

      22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II

      AvS. Akshay,Aina Niemetz

      Häftad, Engelska, 2025

      Del 15055 i serien Lecture Notes in Computer Science

      1 686 kr

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

      Beskrivning

      The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections:Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis.Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification.

      Produktinformation

      • Utgivningsdatum:2025-02-12
      • Mått:155 x 235 x 17 mm
      • Vikt:458 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:276
      • Förlag:Springer International Publishing AG
      • ISBN:9783031787492
      • Originaltitel:Automated Technology for Verification and Analysis

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Artificiell intelligens inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Dave Pelzer - Sie Nannten Mich 'Es', Häftad
      Del 15055

      Sie Nannten Mich 'Es'

      Dave Pelzer

      Häftad, 2002

      163 kr

      Sriram Sankaranarayanan, Aina Niemetz, S. Akshay - Automated Technology for Verification and Analysis, E-bok

      Automated Technology for Verification and Analysis

      Sriram Sankaranarayanan, Aina Niemetz, S. Akshay

      E-bok
      2025

      1 780 kr

      Sriram Sankaranarayanan, Aina Niemetz, S. Akshay - Automated Technology for Verification and Analysis, E-bok

      Automated Technology for Verification and Analysis

      Sriram Sankaranarayanan, Aina Niemetz, S. Akshay

      E-bok
      2025

      2 105 kr

      S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis, Häftad
      Del 15054

      Automated Technology for Verification and Analysis

      S. Akshay, Aina Niemetz, Sriram Sankaranarayanan

      Häftad, 2025

      1 455 kr

      Sriram Sankaranarayanan, Natasha Sharygina - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
      Del 13994

      Tools and Algorithms for the Construction and Analysis of Systems

      Sriram Sankaranarayanan, Natasha Sharygina

      Häftad, 2023

      453 kr

      Ashutosh Trivedi, Sriram Sankaranarayanan, Krishna Shankaranarayanan - Verification, Model Checking, and Abstract Interpretation, E-bok

      Verification, Model Checking, and Abstract Interpretation

      Ashutosh Trivedi, Sriram Sankaranarayanan, Krishna Shankaranarayanan

      E-bok
      2025

      896 kr

      Ashutosh Trivedi, Sriram Sankaranarayanan, Krishna Shankaranarayanan - Verification, Model Checking, and Abstract Interpretation, E-bok

      Verification, Model Checking, and Abstract Interpretation

      Ashutosh Trivedi, Sriram Sankaranarayanan, Krishna Shankaranarayanan

      E-bok
      2025

      894 kr

      Sriram Sankaranarayanan, Natasha Sharygina - Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conf, Övrigt

      Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conf

      Sriram Sankaranarayanan, Natasha Sharygina

      665 kr

      Sriram Sankaranarayanan, Natasha Sharygina - Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conf, Övrigt

      Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conf

      Sriram Sankaranarayanan, Natasha Sharygina

      665 kr

      Sriram Sankaranarayanan, Enrico Vicario - Formal Modeling and Analysis of Timed Systems, Häftad
      Del 9268

      Formal Modeling and Analysis of Timed Systems

      Sriram Sankaranarayanan, Enrico Vicario

      Häftad, 2015

      566 kr