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
75,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
75,99
Gratis
75,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
  • 9783031453311
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 14216 Automated Technology for Verification and Analysis

73,56
Meer informatie Meer info

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

73,99
Meer informatie Meer info
Uitgelichte Keuze
75,99
Naar shop