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

Formal Verification of Control System Software

Pierre-Loïc Garoche

Hardcover

Current price ₹4,144
Original price ₹5,920
Original price ₹5,920
Original price ₹5,920
(-30%)
₹4,144
Current price ₹4,144

• Author(s): Pierre-Loïc Garoche • Publisher: Princeton University Press • Publisher Imprint: Princeton University Press • BISAC: AppliedAn essential introduction to the analysis and verification of control system softwareThe verification of cont...

View full details

Max Plus at Work: Modeling and Analysis of Synchronized Systems: A Course on Max-Plus Algebra and Its Applications

Bernd Heidergott, Geert Jan Olsder, Jacob Van Der Woude

Hardcover

Current price ₹11,285
Original price ₹13,542
Original price ₹13,542
Original price ₹13,542
(-17%)
₹11,285
Current price ₹11,285

• Author(s): Bernd Heidergott | Geert Jan Olsder | Jacob Van Der Woude • Publisher: Princeton University Press • Publisher Imprint: Princeton University Press • BISAC: Algebra - GeneralTrains pull into a railroad station and must wait for each ot...

View full details