We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£92.39
Springer Languages for System Specification - UML & SystemC
Price data last checked 47 day(s) ago - refreshing...
Price History & Forecast
Last 38 days • 38 data points (No recent data available)
Price Distribution
Price distribution over 38 days • 3 price levels
Price Analysis
Most common price: £90 (19 days, 50.0%)
Price range: £86 - £92
Price levels: 3 different prices over 38 days
Description
Key Features
Covers UML applications specifically for the specification of embedded HW/SW systems.
Provides detailed insights into C-Based System Design and modeling with SystemC.
Explains rules for solving general modeling problems within VHDL-AMS environments.
Includes practical case studies regarding modeling of operating systems and test pattern generation.
Addresses modeling of multi-nature and Mixed-Signal Systems using SystemC.
Discusses formal methods for the specification and refinement of hybrid and embedded systems.
Product Specifications
- Brand
- Springer
- Format
- Hardcover
- ASIN
- 1402079907
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 15 December 1996
- Listed Since
- 09 December 2006
Barcode
No barcode data available
Similar Products You Might Like
Springer System Specification and Design Languages FDL 2010
Springer
Springer Advances in Design and Specification Languages for SoCs
Springer
Springer Advances in Design and Specification Languages Book
Springer
Springer System on Chip Design Languages - Extended Papers
Springer
Electronic Chips & Systems Design Languages (Chdl)
Springer
System on Chip Design Languages: Extended papers: best of FDL’01 and HDLCon’01
Springer
Springer Hardware Description Languages and their Applications
Springer
Analyzes the impact of the 2021 Labour code and the emergence of worker representative organisations independent of the state.
Springer
VHDL Modeling for Digital Design Synthesis
Springer
VHDL Modeling for Digital Design Synthesis
Springer
Springer SystemC: Methodologies and Applications Book
Springer
Springer System-on-Chip Methodologies & Design Languages Book
Springer
Springer - UML for Real: Design of Embedded Real-Time Systems
Springer
Springer - Formal Methods and Models for System Design Book
Springer
Springer - Logics of Specification Languages Monograph
Springer
Formal System Verification: State-of the-Art and Future Trends
Springer
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Introduction to SystemVerilog
Springer
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
Springer
Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)
Springer
Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)
Springer
SystemVerilog for Design Second Edition: A Guide to Using SystemVerilog for Hardware Design and Modeling
Springer