Stefan Hallerstede – författare
Visar alla böcker från författaren Stefan Hallerstede. Handla med fri frakt och snabb leverans.
2 produkter
Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Av Frank S. de Boer, Marcello M. Bonsangue m. fl.
Häftad, 2011
567 kr
Lägg i varukorg
All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last two decades from functional to structuralissues. Formal methods have been applied successfully to the …
Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Av Michael Leuschel, Stefan Hallerstede m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last two decades from functional to structuralissues. Formal methods have been applied successfully to the …
