Hoppa till sidans huvudinnehåll

Stefan Kowalewski – författare

Visar alla böcker från författaren Stefan Kowalewski.
2 produkter
Stefan Kowalewski, Anna Philippou - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

AvStefan Kowalewski,Anna Philippou

Häftad, Engelska, 2009

739 kr

Skickas inom 10-15 vardagar

Stefan Kowalewski, Marco Roveri - Formal Methods for Industrial Critical Systems, Häftad

Formal Methods for Industrial Critical Systems

15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

AvStefan Kowalewski,Marco Roveri

Häftad, Engelska, 2010

739 kr

Skickas inom 10-15 vardagar