Skip to content
Scan a barcode
Scan
Paperback Software Engineering 2: Specification of Systems and Languages Book

ISBN: 3642059406

ISBN13: 9783642059407

Software Engineering 2: Specification of Systems and Languages

Select Format

Select Condition ThriftBooks Help Icon

Recommended

Format: Paperback

Condition: New

$60.57
50 Available
Ships within 2-3 days

Book Overview

Opening.- Specification Facets.- Hierarchies and Compositions.- Denotations and Computations.- Configurations: Contexts and States.- A Crucial Domain and Computing Facet.- Time, Space and Space/Time.- Linguistics.- Pragmatics.- Semantics.- Syntax.- Semiotics.- Further Specification Techniques.- Modularisation.- Automata and Machines.- Concurrency and Temporality.- Petri Nets.- Message and Live Sequence Charts.- Statecharts.- Quantitative Models of...

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured