Axel Legay - Böcker

Visar alla böcker från författaren Axel Legay.
11 produkter
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay - Model Checking Software, Häftad

Model Checking Software

Av Fabrizio Biondi, Thomas Given-Wilson, Axel Legay

Häftad, Engelska, 2019

739 kr

Skickas inom 7-10 vardagar
Valeria Bertacco, Axel Legay - Hardware and Software: Verification and Testing, Häftad

Hardware and Software: Verification and Testing

Av Valeria Bertacco, Axel Legay

Häftad, Engelska, 2013

739 kr

Skickas inom 7-10 vardagar
Axel Legay, Marius Bozga - Formal Modeling and Analysis of Timed Systems, Häftad

Formal Modeling and Analysis of Timed Systems

Av Axel Legay, Marius Bozga

Häftad, Engelska, 2014

709 kr

Skickas inom 7-10 vardagar
Cyrille Artho, Axel Legay, Doron Peled - Automated Technology for Verification and Analysis, Häftad

Automated Technology for Verification and Analysis

Av Cyrille Artho, Axel Legay, Doron Peled

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar
Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay, Frederic Cuppens - Risks and Security of Internet and Systems, Häftad

Risks and Security of Internet and Systems

Av Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay, Frederic Cuppens

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar
Axel Legay, Saddek Bensalem - Runtime Verification, Häftad

Runtime Verification

Av Axel Legay, Saddek Bensalem

Häftad, Engelska, 2013

739 kr

Skickas inom 7-10 vardagar
Saddek Bensalem, Yassine Lakhnech, Axel Legay - From Programs to Systems - The Systems Perspective in Computing, Häftad

From Programs to Systems - The Systems Perspective in Computing

Av Saddek Bensalem, Yassine Lakhnech, Axel Legay

Häftad, Engelska, 2014

709 kr

Skickas inom 7-10 vardagar
Axel Legay, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Axel Legay, Tiziana Margaria

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar
Axel Legay, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Axel Legay, Tiziana Margaria

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar