Natasha Sharygina – författare

Visar alla böcker från författaren Natasha Sharygina.

6 produkter

Kategorier

6 produkter

Del 13124

Del 13124 - Lecture Notes in Computer Science

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

AvRoderick Bloem,Rayna Dimitrovam. fl.

Häftad, Engelska, 2022

799 kr

Skickas inom 10-15 vardagar

Del 13994

Del 13994 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

AvSriram Sankaranarayanan,Natasha Sharygina

Häftad, Engelska, 2023

589 kr

Skickas inom 5-8 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I

AvSriram Sankaranarayanan,Natasha Sharygina

Häftad, Engelska, 2023

589 kr

Skickas inom 5-8 vardagar