Peter Niebert – författare

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

2 produkter

1. 

   Formal Modeling and Analysis of Timed Systems

   First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

   Av Kim G. Larsen, Peter Niebert

   Häftad, 2004

   551 kr

   Lägg i varukorg

   This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003.The 19 revised full papers presented together with an invited paper and the abstracts of two …

2. 

   Formal Modeling and Analysis of Timed Systems

   First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

   Av Peter Niebert, Kim G. Larsen

   E-bok, 2004

   734 kr

   Lägg i varukorg

   This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts of …