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...

Full description

Saved in:
Bibliographic Details
Other Authors: Bernardo, Marco
Format: Book
Language:English
Published: Springer 2017
Subjects:
004
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/26370
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Vietnam National University, Hanoi
Language: English

Similar Items