Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Semantic Integration of Heterogeneous Software Specifications by Martin Grosse-Rhode (Paperback, 2010)
BOOKS etc. (523934)
99.5% positive Feedback
Price:
£104.26
Free postage
Returns:
60 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Condition:
ISBN-13: 9783642073069, 978-3642073069. The first book to integrate various model-based software specification approaches. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches.
- Buy it nowSemantic Integration of Heterogeneous Software Specifications - 9783642073069
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Information
The first book to integrate various model-based software specification approaches. The integration approach is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.Product Identifiers
PublisherSpringer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
ISBN-139783642073069
eBay Product ID (ePID)178293280
Product Key Features
Number of Pages330 Pages
Publication NameSemantic Integration of Heterogeneous Software Specifications
LanguageEnglish
SubjectComputer Science
Publication Year2010
TypeTextbook
AuthorMartin Grosse-Rhode
SeriesMonographs in Theoretical Computer Science. an Eatcs Series
FormatPaperback
Dimensions
Item Height235 mm
Item Weight528 g
Item Width155 mm
Additional Product Features
Country/Region of ManufactureGermany
Title_AuthorMartin Grosse-Rhode
All listings for this product
Be the first to write a review
