approaches
case
Category=UMZ
clear
contributors
description
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
focus
jonathan
knowledge
language
list
main methods
natural
notation
overview
p
part
practical
process
reader
specification
techniques
title
uml
vii
z specification
Product details
- ISBN 9781905209347
- Weight: 789g
- Dimensions: 161 x 243mm
- Publication Date: 18 Apr 2006
- Publisher: ISTE Ltd and John Wiley & Sons Inc
- Publication City/Country: GB
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.
Henri Habrias, University of Nantes, France
Marc Frappier, University of Sherbrooke, Canada
