de Vink, Erik books & textbook
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture Notes in Computer Science, 10951)
Havelund, Klaus Peleska, Jan Roscoe, Bill de Vink, Erik
Springer /2018-07-12 Paperback / 706 Pages
isbn-10: 3319955810 / isbn-13: 9783319955810
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... (Programming and Software Engineering)
Bernardo, Marco de Vink, Erik Di Pierro, Alessandra Wiklicky, Herbert
Springer /2013-06-07 Paperback / 189 Pages
isbn-10: 3642388736 / isbn-13: 9783642388736
Control Flow Semantics (Foundations of Computing)
Bakker, J. W. De Vink, Erik De
Mit Pr /1996-04-01 Hardcover / 608 Pages
isbn-10: 0262041545 / isbn-13: 9780262041546
Transactions on Computational Systems Biology XIII (Lecture Notes in Computer Science, 6575)
Priami, Corrado Back, Ralph-Johan Petre, Ion de Vink, Erik
Springer /2011-03-28 Paperback / 200 Pages
isbn-10: 3642197477 / isbn-13: 9783642197475
Never waste a good crisis: de 10 wetten van crisismanagement
Adriaanse, Jan Bletz, Jan Daae, Elja In 't Groen, Erik Hospers, Gert-Jan Pijl, Jacques Stofberg, Bart Vink, Gonny Weenink, Gijs Van Wiggen, Marcel Wijman, Erwin Yspeert, Arjan
Haystack, Uitgeverij /2020-04-15 Paperback / 190 Pages
isbn-10: 9461263791 / isbn-13: 9789461263797
Transactions on Computational Systems Biology XIV: Special Issue on Computational Models for Cell Processes
Priami, Corrado Petre, Ion de Vink, Erik
Springer /2012-11-16 Paperback / 243 Pages
isbn-10: 3642355234 / isbn-13: 9783642355233
