Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Search results for “[Subject: computer-engineering]”

Filters

Products

Safety and Security of Cyber-Physical Systems: Engineering Dependable Software Using Principle-Based Development

Frank J. Furrer

Hardcover

Current price ₹3,305
Original price ₹5,084
Original price ₹5,084
Original price ₹5,084
(-35%)
₹3,305
Current price ₹3,305

• Author(s): Frank J. Furrer • Publisher: Springer • Publisher Imprint: Springer Vieweg • BISAC: Security - GeneralFrom the Back CoverCyber-physical systems (CPSs) consist of software-controlled computing devices communicating with each other and...

View full details

Syndevs Co-Design Flow: A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation

H. Gregor Molter

Paperback

Current price ₹3,672
Original price ₹5,649
Original price ₹5,649
Original price ₹5,649
(-35%)
₹3,672
Current price ₹3,672

• Author(s): H. Gregor Molter • Publisher: Springer • Publisher Imprint: Springer Vieweg • BISAC: Computer ScienceFrom the Back CoverThe complexity of modern embedded systems has increased rapidly in the recent past. Introducing models of computa...

View full details

Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Finite Non-Terminating Programs

Vladimir Herdt

Paperback

Current price ₹3,672
Original price ₹5,649
Original price ₹5,649
Original price ₹5,649
(-35%)
₹3,672
Current price ₹3,672

• Author(s): Vladimir Herdt • Publisher: Springer • Publisher Imprint: Springer Vieweg • BISAC: Hardware - GeneralFrom the Back CoverIn his master thesis, Vladimir Herdt presents a novel approach, called complete symbolic simulation, for a more e...

View full details