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
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 9.99 €
Shopping guide
My account
▸
Empty :-(
0
Language
English
English
Book
Paperback
Software Specification Methods provides the formal methods practitioner with a survey of the key sof...
Full description
Libristo code: 06798590
?
249 b
249 b
102.97
€
In stock at our supplier
Shipping in 5-8 days
Up to 30 days for returns
Software Specification Methods provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using the same case study, an invoicing system, to enable the reader to compare and contrast easily. Among the techniques covered are: UML; Z; SAZ; B; JSD; OMT; VHDL; Estelle; SDL; LOTOS. This book is intended for industrial and commercial practitioners who need to expand their knowledge of software specification methods. This book provides a basic overview of the main methods, with a practical focus which allows readers to apply their knowledge to real-life situations.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Software Specification Methods
Author
Marc Frappier, Henri Habrias
Language
English
English
Binding
Book - Paperback
Date of issue
2000
Number of pages
282
EAN
9781852333539
ISBN
1852333537
Libristo code
06798590
Publishers
Springer London Ltd
Weight
480
Dimensions
155 x 235 x 17
