Towards a Proof Method for Paradigm

التفاصيل البيبلوغرافية
العنوان:	Towards a Proof Method for Paradigm
المؤلفون:	Groenewegen, L. P. J.^Aff16, Kuiper, R.^Aff17, de Vink, E. P.^{Aff17, Aff18}
المساهمون:	Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Ábrahám, Erika, editor^Aff13, Bonsangue, Marcello, editor^Aff14, Johnsen, Einar Broch, editor^Aff15
المصدر:	Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. 9660:242-260
قاعدة البيانات:	Springer Nature eBooks

الوصف
ردمك:	9783319307336 9783319307343
DOI:	10.1007/978-3-319-30734-3_17