Hoppa till sidans huvudinnehåll

Erik de Vink - Böcker

Visar alla böcker från författaren Erik de Vink.
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

AvKlaus Havelund,Jan Peleska,Bill Roscoe,Erik de Vink

Häftad, Engelska, 2018

1 269 kr

Skickas inom 10-15 vardagar

Transactions on Computational Systems Biology XIII

AvRalph-Johan Back,Ion Petre,Erik de Vink

Häftad, Engelska, 2011

699 kr

Skickas inom 10-15 vardagar

Transactions on Computational Systems Biology XIV

Special Issue on Computational Models for Cell Processes

AvIon Petre,Erik de Vink,Erik de Vink

Häftad, Engelska, 2012

689 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

AvMarco Bernardo,Erik de Vink,Alessandra Di Pierro,Herbert Wiklicky,Erik De,Erik de Vink

Häftad, Engelska, 2013

639 kr

Skickas inom 10-15 vardagar