Loading...
Software Engineering mathematics: formal methods demystefied
Main Author: | Jim Woodcock Martin Loomes |
---|---|
Format: | Printed Book |
Language: | English |
Published: |
Pitman
1989
|
Similar Items
-
Software engineering with formal metrics /
by: Ejiogu, Lem O
Published: (1991) -
Practical formal software engineering:wanting the software you get
by: Mills, Bruce
Published: (2009) -
Formal specification and software development
by: Bjorner,Dines -
Formal specification and software development
by: Bjorner, Diner
Published: (1982) -
Mathematics, the formal tools of engineering, v1. advances in modern engineering
by: Smyth, Michael P.
Published: (1974)