Natasha Sharygina – författare

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

6 produkter

1. 

   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

   Av Roderick Bloem, Rayna Dimitrova m. fl.

   Häftad, 2022

   809 kr

   Lägg i varukorg

2. 

   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

   Av Sriram Sankaranarayanan, Natasha Sharygina

   Häftad, 2023

   629 kr

   Lägg i varukorg

3. 

   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

   Av Sriram Sankaranarayanan, Natasha Sharygina

   Häftad, 2023

   629 kr

   Lägg i varukorg

4. 

   Validation of Evolving Software

   Av Hana Chockler, Daniel Kroening m. fl.

   Inbunden, 2015

   739 kr

   Lägg i varukorg

5. 

   Validation of Evolving Software

   Av Hana Chockler, Daniel Kroening m. fl.

   Häftad, 2016

   739 kr

   Lägg i varukorg

6. 

   Computer Aided Verification

   25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

   Av Natasha Sharygina, Helmut Veith

   Häftad, 2013

   1469 kr

   Lägg i varukorg