Lecture Notes in Computer Science Automated Technology for Verification and Analysis

1/1
Afbeelding van Lecture Notes in Computer Science Automated Technology for Verification and Analysis
Bol
Prijzen vanaf
115,99

Uitgelicht

VERGELIJK ALLE AANBIEDERS (1)

Beschrijving

Bol 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.
Description Beschrijving
Product Specifications Productspecificaties
Related Products Gerelateerde producten
?>
Next
Previous

Vergelijk aanbieders (1)

Shop
Prijs
Verzendkosten
Totale prijs
Bol Logo
115,99
Gratis
115,99
Naar shop
Gratis Shipping Costs
Beschrijving (1)

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.

Productspecificaties

EAN
  • 9783031787089
Maat

Prijzen voor het laatst bijgewerkt op:

Lecture Notes in Computer Science 15055 Automated Technology for Verification and Analysis

137,33
Meer informatie Meer info

Lecture Notes in Computer Science 9938 Automated Technology for Verification and Analysis

48,99
Meer informatie Meer info

Lecture Notes in Computer Science 12302 Automated Technology for Verification and Analysis

49,99
Meer informatie Meer info

Lecture Notes in Computer Science 11781 Automated Technology for Verification and Analysis

49,99
Meer informatie Meer info
Uitgelichte Keuze
115,99
Naar shop