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..
-
The Chip Is the Network
Marculescu, Radu; Bogdan, Paul
-
RFID and the Internet of Things
Evdokimov, Sergei; Fabian, Benjamin; Gunther, Oliver
-
QED at Large
Ringer, Talia; Palmskog, Karl; Sergey, Ilya; Gligoric, Milos; Tatlock, Zachary
-
Financing Entrepreneurship and Innov...
Lin Cong
-
Security Risk Management for the Int...