Erik de Vink - Böcker

Visar alla böcker från författaren Erik de Vink.
4 produkter
Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink - Formal Methods, Häftad

Formal Methods

Av Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink

Häftad, Engelska, 2018

1 309 kr

Skickas inom 10-15 vardagar
Ralph-Johan Back, Ion Petre, Erik de Vink - Transactions on Computational Systems Biology XIII, Häftad

Transactions on Computational Systems Biology XIII

Av Ralph-Johan Back, Ion Petre, Erik de Vink

Häftad, Engelska, 2011

709 kr

Skickas inom 10-15 vardagar
Ion Petre, Erik de Vink - Transactions on Computational Systems Biology XIV, Häftad

Transactions on Computational Systems Biology XIV

Av Ion Petre, Erik de Vink

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar
Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky, Erik De, Erik de Vink - Formal Methods for Dynamical Systems, Häftad

Formal Methods for Dynamical Systems

Av Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky, Erik De, Erik de Vink

Häftad, Engelska, 2013

649 kr

Skickas inom 10-15 vardagar