Contracts for System Design

Albert Benveniste | Benoît Caillaud | Dejan Nickovic | Roberto Passerone | Jean-Baptiste Raclet | Philipp Reinkemeier | Alberto Sangiovanni-Vincentelli | Werner Damm | Thomas A. Henzinger | Kim G. Larsen

978-1-68083-402-4

99.00 USD