Erik de Vink - Böcker

Visar alla böcker från författaren Erik de Vink.

4 produkter

Kategorier

4 produkter

Formal Methods

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

Av Klaus Havelund, Jan Peleska m. fl

Häftad, Engelska, 2018

1 309 kr

Skickas inom 10-15 vardagar

Transactions on Computational Systems Biology XIII

Av Ralph-Johan Back, Ion Petre m. fl

Häftad, Engelska, 2011

709 kr

Skickas inom 10-15 vardagar

Transactions on Computational Systems Biology XIV

Special Issue on Computational Models for Cell Processes

Av Ion Petre, Erik de Vink m. fl

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar

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

Av Marco Bernardo, Erik de Vink m. fl

Häftad, Engelska, 2013

659 kr

Skickas inom 10-15 vardagar