2116531
9783540211501
Software Engineering Specification Of Systems And Languages
by Bjorner, Dines, Madsen, Christian Krog
8823
List Price
Discount
59% Off
You Save
$70.92
About this item
- Condition: New
- Provider: Bookjunction
- Provider Rating: 73%
- Ships From: STERLING HEIGHTS, MI
- Shipping: Standard
- Comments: New, US edition. Satisfaction guaranteed!!
370333
List Price
Discount
5% Off
You Save
$6.98
About this item
- Condition: Good
- Provider: Bonita
- Provider Rating: 0%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Product details
- ISBN-13: 9783540211501
- ISBN: 3540211500
- Publication Date: 2006
- Publisher: Springer-Verlag New York Inc
AUTHOR
SUMMARY
This second volume looks at the principles and techniques of modelling spatial and simple temporal phenomena, and such specialized topics as modularity (UML class diagrams), Petri nets, live sequence charts, state charts, and temporal logics, including the duration calculus.Bjorner, Dines is the author of 'Software Engineering Specification Of Systems And Languages', published 2006 under ISBN 9783540211501 and ISBN 3540211500.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
