Rayna dimitrova u a (1 résultats)

Auteur:

Affiner les résultats avec une recherche avancée

Software Verification | 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
Roderick Bloem (u. a.)
Langue : anglais
Edité par Springer, 2022
3030955605 / 9783030955601
- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 55,15
EUR 70,00 expédition
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponibles
Taschenbuch. Etat : Neu. Software Verification | 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers | Roderick Bloem (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2022 | Springer | EAN 9783030955601 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…