Hoppa till sidans huvudinnehåll

Erik de Vink – författare

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

Formal Methods

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

AvKlaus Havelund,Jan Peleskam. fl.

Häftad, Engelska, 2018

1 299 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

AvRalph-Johan Back,Ion Petrem. fl.

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

Special Issue on Computational Models for Cell Processes

AvIon 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 - Formal Methods for Dynamical Systems, Häftad

Formal Methods for Dynamical Systems

13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

AvMarco Bernardo,Erik de Vinkm. fl.

Häftad, Engelska, 2013

669 kr

Skickas inom 10-15 vardagar