Hoppa till sidans huvudinnehåll

Natasha Sharygina - Böcker

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

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, Engelska, 2022

809 kr

Skickas inom 10-15 vardagar
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

Av Sriram Sankaranarayanan, Natasha Sharygina

Häftad, Engelska, 2023

589 kr

Skickas inom 7-10 vardagar
Del 13993 - 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 I

Av Sriram Sankaranarayanan, Natasha Sharygina

Häftad, Engelska, 2023

589 kr

Skickas inom 7-10 vardagar

Validation of Evolving Software

Av Hana Chockler, Daniel Kroening m. fl

Inbunden, Engelska, 2015

739 kr

Skickas inom 10-15 vardagar

Validation of Evolving Software

Av Hana Chockler, Daniel Kroening m. fl

Häftad, Engelska, 2016

739 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Natasha Sharygina, Helmut Veith

Häftad, Engelska, 2013

1 459 kr

Skickas inom 10-15 vardagar