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-403-1

270.00 USD