دانلود کتاب Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
معرفی کتاب Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
کتاب Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures نوشته Lars Frantzen, Jan Tretmans (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.) یکی از آثار مهم در حوزه مربوطه محسوب میشود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقهمندان به این موضوع بسیار مناسب میباشد.
درباره کتاب Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
این اثر با بهرهگیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار میدهد.
دانلود کتاب Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures را از طریق سایت سایبر یونی تجربه کنید.
Roger Needham (auth.),...
۲۰۰۰
Vadim Mottl, Alexander...
۲۰۰۷
Clive Maxfield, Alvin...
۲۰۰۵