[email protected]
We’ll reply within 24 hours
Contact
How to shop
Help
Delivery
Austrian Post 5.99 €
DPD courier 6.49 €
GLS courier 4.49 €
Shopping guide
We’re here for you!
[email protected]
My account
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
▸
Empty :-(
0
Formal Foundations for Software Engineering Methods
Language
English
English
Book
Paperback
In this book, Hussmann builds a bridge between the pragmatic methods for the design of information s...
Full description
Libristo code: 01566487
?
161 b
161 b
68.07
€
včetně DPH
Low in stock at our supplier
Shipping in 13-16 days
Delivery to Austria
Delivery to Austria
30-day return policy
You might also be interested in
/
Paperback
40.68
€
In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM, a British standard structured software engineering method. Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. This well-written book encourages scientists and software engineers to apply formal methods to practical software development problems.
About the book
Full name
Formal Foundations for Software Engineering Methods
Author
Heinrich Hussmann
Language
English
English
Binding
Book - Paperback
Date of issue
1997
Number of pages
293
EAN
9783540636137
ISBN
3540636137
Libristo code
01566487
Publishers
Springer, Berlin
Weight
458
Dimensions
156 x 234 x 16
