Logical Modeling of Cellular Processes: From Software Development to Network Dynamics
This eBook is a collection of articles from a Frontiers Research Topic. Frontiers Research Topics are very popular trademarks of the Frontiers Journals Series: they are collections of at least ten articles, all centered on a particular subject. With their unique mix of varied contributions from Orig...
Saved in:
Other Authors: | Barberis, Matteo (Editor), Helikar, Tomáš (Editor) |
---|---|
Format: | Electronic Book Chapter |
Language: | English |
Published: |
Frontiers Media SA
2019
|
Subjects: | |
Online Access: | DOAB: download the publication DOAB: description of the publication |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Agile Processes in Software Engineering and Extreme Programming 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8-12, 2020, Proceedings
Published: (2020) -
Agile Processes in Software Engineering and Extreme Programming 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8-12, 2020, Proceedings
Published: (2020) -
Agile Processes in Software Engineering and Extreme Programming 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14-18, 2021, Proceedings
Published: (2021) -
Agile Processes in Software Engineering and Extreme Programming 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14-18, 2021, Proceedings
Published: (2021) -
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
by: Weiß, Benjamin
Published: (2011)