دانلود کتاب B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings
by Jean -Raymond Abrial (auth.)
|
عنوان فارسی: B’98: پیشرفتهای اخیر در توسعه و استفاده از روش B: دومین کنفرانس بین المللی B مونپلیه ، فرانسه ، 22 تا 24 آوریل 1998 |