Natasha Sharygina - Böcker

Visar alla böcker från författaren Natasha Sharygina.
6 produkter
Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina - Software Verification, Häftad

Software Verification

Av Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina

Häftad, Engelska, 2022

809 kr

Skickas inom 7-10 vardagar
Sriram Sankaranarayanan, Natasha Sharygina - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 13994 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Sriram Sankaranarayanan, Natasha Sharygina

Häftad, Engelska, 2023

589 kr

Skickas inom 7-10 vardagar
Sriram Sankaranarayanan, Natasha Sharygina - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 13993 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Sriram Sankaranarayanan, Natasha Sharygina

Häftad, Engelska, 2023

589 kr

Skickas inom 7-10 vardagar
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina - Validation of Evolving Software, Inbunden

Validation of Evolving Software

Av Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

Inbunden, Engelska, 2015

739 kr

Skickas inom 7-10 vardagar
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina - Validation of Evolving Software, Häftad

Validation of Evolving Software

Av Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar
Natasha Sharygina, Helmut Veith - Computer Aided Verification, Häftad

Computer Aided Verification

Av Natasha Sharygina, Helmut Veith

Häftad, Engelska, 2013

1 459 kr

Skickas inom 7-10 vardagar