Del 13800
Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected
Engelska, 2023
653 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Del 14181
Computer Safety, Reliability, and Security
Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch
Häftad
693 kr
Del 14182
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops
Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch
Häftad
876 kr
Del 10489
Computer Safety, Reliability, and Security
Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch
Häftad
550 kr
Del 13964
Del 13965
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Constantin Enea, Akash Lal
631 kr
Computer Safety, Reliability, and Security : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
Jérémie Guiochet, Stefano Tonetta
631 kr
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Constantin Enea, Akash Lal
631 kr
Del 10488
Computer Safety, Reliability, and Security
Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch
Häftad
550 kr