Formal Methods for Computational Systems Biology

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:
Computer Science
Software Engineering
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
id oai:112.137.131.14:VNU_123-26370
record_format dspace
spelling oai:112.137.131.14:VNU_123-263702020-07-14T02:14:57Z Formal Methods for Computational Systems Biology Bernardo, Marco Degano, Pierpaolo Zavattaro, Gianluigi Computer Science Software Engineering 004 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 rigorous design of computer, communication, andsoftware systems. The main aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods,which can be of help for graduate students and young researchers who intend toapproach the field. 2017-04-11T09:00:49Z 2017-04-11T09:00:49Z 2008 Book 978-3-540-68892-1 http://repository.vnu.edu.vn/handle/VNU_123/26370 en 533 p. application/pdf Springer
institution Vietnam National University, Hanoi
building VNU Library & Information Center
country Vietnam
collection VNU Digital Repository
language English
topic Computer Science
Software Engineering
004
spellingShingle Computer Science
Software Engineering
004
Formal Methods for Computational Systems Biology
description 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 rigorous design of computer, communication, andsoftware systems. The main aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods,which can be of help for graduate students and young researchers who intend toapproach the field.
author2 Bernardo, Marco
author_facet Bernardo, Marco
format Book
title Formal Methods for Computational Systems Biology
title_short Formal Methods for Computational Systems Biology
title_full Formal Methods for Computational Systems Biology
title_fullStr Formal Methods for Computational Systems Biology
title_full_unstemmed Formal Methods for Computational Systems Biology
title_sort formal methods for computational systems biology
publisher Springer
publishDate 2017
url http://repository.vnu.edu.vn/handle/VNU_123/26370
_version_ 1680963982620360704

Similar Items