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
79,99

Uitgelicht

VERGELIJK ALLE AANBIEDERS (1)

Beschrijving

Bol This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023.
Description Beschrijving
Product Specifications Productspecificaties
Related Products Gerelateerde producten
?>
Next
Previous

Vergelijk aanbieders (1)

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

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023.

Productspecificaties

EAN
  • 9783031453281
Maat

Prijzen voor het laatst bijgewerkt op:

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

73,56
Meer informatie Meer info

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

49,04
Meer informatie Meer info

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

73,56
Meer informatie Meer info

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

137,33
Meer informatie Meer info
Uitgelichte Keuze
79,99
Naar shop