Erik de Vink – författare
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
Av Klaus Havelund, Jan Peleska m. fl.
Häftad, 2018
1309 kr
Lägg i varukorg
Transactions on Computational Systems Biology XIII
Av Ralph-Johan Back, Ion Petre m. fl.
Häftad, 2011
709 kr
Lägg i varukorg
Transactions on Computational Systems Biology XIV
Special Issue on Computational Models for Cell Processes
Häftad, 2012
709 kr
Lägg i varukorg
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, 2013
669 kr
Lägg i varukorg