Formal Engineering Methods (Icfem 2000): 3rd IEEE International Conference - Softcover

 
9780769508245: Formal Engineering Methods (Icfem 2000): 3rd IEEE International Conference
Softcover
ISBN 10: 0769508243 ISBN 13: 9780769508245
Publisher: Ieee, 2000

This specific ISBN edition is currently not available.

Synopsis

This text on engineering methods covers topics such as: development; structuring; algebraic approaches; verification; formal and informal notations; retrenchment; theory and practice; and animation.

"synopsis" may belong to another edition of this title.

Publisher
Ieee
Publication date
2000
Language
English
ISBN 10 
0769508243
ISBN 13 
9780769508245
Binding
Paperback
Number of pages
209

Other Popular Editions of the Same Title

9780769508238: Formal Engineering Methods (Icfem 2000), 3rd IEEE International Conference on

Featured Edition

ISBN 10:  0769508235 ISBN 13:  9780769508238
Publisher: Ieee, 2000
Softcover