Isbn: 9783540291312 - formal methods for components and objects: third international symposium, fmco 2004, leiden, the netherlands, november 2-5, 2004, revised lectures (lecture notes in computer science, 3657, band 3657) (3 Ergebnisse)

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9783540291312.

Zustand: New. In English.

Zustand: New. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation t.