Nikolai Kosmatov - Böcker

Visar alla böcker från författaren Nikolai Kosmatov.
5 produkter
Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall - Testing Software and Systems, Häftad

Testing Software and Systems

Av Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall

Häftad, Engelska, 2019

739 kr

Skickas inom 7-10 vardagar
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles - Guide to Software Verification with Frama-C, Inbunden

Guide to Software Verification with Frama-C

Av Nikolai Kosmatov, Virgile Prevosto, Julien Signoles

Inbunden, Engelska, 2024

939 kr

Skickas inom 7-10 vardagar
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles - Guide to Software Verification with Frama-C, Häftad

Guide to Software Verification with Frama-C

Av Nikolai Kosmatov, Virgile Prevosto, Julien Signoles

Häftad, Engelska, 2025

839 kr

Skickas inom 7-10 vardagar
Nikolai Kosmatov, Laura Kovács, Laura Kovacs - Integrated Formal Methods, Häftad
Del 15234 - Lecture Notes in Computer Science

Integrated Formal Methods

Av Nikolai Kosmatov, Laura Kovács, Laura Kovacs

Häftad, Engelska, 2024

1 859 kr

Skickas inom 7-10 vardagar
Jasmin Christian Blanchette, Nikolai Kosmatov - Tests and Proofs, Häftad

Tests and Proofs

Av Jasmin Christian Blanchette, Nikolai Kosmatov

Häftad, Engelska, 2015

709 kr

Skickas inom 7-10 vardagar