Julia Seiter – författare

Visar alla böcker från författaren Julia Seiter. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Automatic Methods for the Refinement of System Models

   From the Specification to the Implementation

   Av Julia Seiter, Robert Wille m. fl.

   Häftad, 2016

   546 kr

   Lägg i varukorg

   This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement, for adding detail and …

2. 

   Automatic Methods for the Refinement of System Models

   From the Specification to the Implementation

   Av Rolf Drechsler, Robert Wille m. fl.

   E-bok, 2016

   718 kr

   Lägg i varukorg

   This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement, for adding detail and …