Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
---|---|---|
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation | 978-3-319-41479-9 (3-319-41479-8) | 2016 |
J. S. · Jewel Star · Jill Scheider · Jill Story · Julia Seitre · Julia Story · Julie Starr · Julie Storr · Julie Straw · Julie Sutter