Vincenzo Ciancia – författare

Visar alla böcker från författaren Vincenzo Ciancia.

1 produkter

1. 

   Model Checking Software

   32nd International Symposium, SPIN 2026, Turin, Italy, April 15–16, 2026, Proceedings

   Av Vincenzo Ciancia, Arnd Hartmanns

   Häftad, 2027

   879 kr

   Kommande