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
145,00

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
145,00
Gratis
145,00
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
  • 9783031787492
Maat

Prijzen voor het laatst bijgewerkt op:

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

117,99
Meer informatie Meer info

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

48,99
Meer informatie Meer info

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
Uitgelichte Keuze
145,00
Naar shop