Formal Methods for Computational Systems Biology

This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Commu-nication, and Software Systems (SFM).This series of schools addresses the use of formal methods in computer science as a prominent approach to the r...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
مؤلفون آخرون: Bernardo, Marco
التنسيق: كتاب
اللغة:English
منشور في: Springer 2017
الموضوعات:
004
الوصول للمادة أونلاين:http://repository.vnu.edu.vn/handle/VNU_123/26370
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!