Software engineering
Type
Book
Rate
0.0 /5
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.
Read More ↓Title Statements
- Full title :Software engineering . / D. Bjorner.
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.
Read More ↓Edition Statements
- Publication Date:2006.
Publication Statements
- Publisher(s):Springer-Verlag
- Place of Publication:Berlin
- Language:eng
- Publication Date:2006.
The Physical Object
- Description:xxiv, 777 pages : : illustrations ; : 24 cm.
Edition Identifiers
- ISBN:3540211500, 9783540211501
- oclc:ocm70148037
- LC Classification:QA76.758
- Dewey Decimal:005.1
Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Modern C++ programming cookbook: over 100 recipes to help you overcome y…
Bancila, Marius
0.0
Type: Book
Introduction to computing using Python: an application development focus
Perkovic, Ljubomir
0.0
Type: Book
Introduction to computing using Python: an application development focus
Perkovic, Ljubomir
0.0
Type: Book
Files & Downloads
No downloadable files are registered for this work yet.
Rate & Review