2117235
9783540211495
This volume covers the basic principles and techniques of abstraction and modelling. It provides the reader with a sound basis for discrete mathematics, moving on to teach basic property and model-oriented specification principles and techniques.Bjorner, D. is the author of 'Software Engineering 1 Abstraction And Modelling', published 2006 under ISBN 9783540211495 and ISBN 3540211497.
[read more]