Automatic methods for the refinement of system models : from the specification to the implementation /
Saved in:
Author / Creator: | Seiter, Julia, author. |
---|---|
Imprint: | Switzerland : Springer, [2016] ©2017 |
Description: | 1 online resource (viii, 94 pages) : illustrations (some color) |
Language: | English |
Series: | SpringerBriefs in electrical and computer engineering, 2191-8112 SpringerBriefs in electrical and computer engineering. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11264435 |