Contracts for System Design
84
%
195 Kč 1 249 Kč
Sleva až 70% u třetiny knih
Helps put contract-based design in perspective. Contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity.
| Autor: | Benveniste, Albert; Caillaud, Benoit; Nickovic, Dejan; Passerone, Roberto; Raclet, Jean-Baptiste |
| Nakladatel: | now publishers Inc |
| ISBN: | 9781680834024 |
| Rok vydání: | 2018 |
| Jazyk : | Angličtina |
| Vazba: | Paperback / softback |
| Počet stran: | 296 |
Mohlo by se vám také líbit..
-
Human-Food Interaction
Khot, Rohit Ashok; Mueller, Florian
-
Impact
Eesley, Charles E.; Miller, William F.
-
Line Drawings from 3D Models
Benard, Pierre; Hertzmann, Aaron
-
Financing Entrepreneurship and Innov...
Lin Cong
-
QED at Large
Ringer, Talia; Palmskog, Karl; Sergey, Ilya; Gligoric, Milos; Tatlock, Zachary
-
Security Risk Management for the Int...