Majid Zamani – författare
Visar alla böcker från författaren Majid Zamani. Handla med fri frakt och snabb leverans.
2 produkter
Numerical Software Verification
12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Av Majid Zamani, Damien Zufferey
Häftad, 2019
566 kr
Lägg i varukorg
This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.The 5 full papers presented together with 2 …
Numerical Software Verification
12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Av Damien Zufferey, Majid Zamani
E-bok, 2019
739 kr
Lägg i varukorg
This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019. The 5 full papers presented together with 2 …
