Formal Refinement for Operating System Kernels
7
%
3580 Kč 3 852 Kč
Sleva až 70% u třetiny knih
| Autor: | Craig, Iain D. |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 1846289661 |
| Rok vydání: | 2007 |
| Jazyk : | Angličtina |
| Vazba: | pevná |
Mohlo by se vám také líbit..
-
Digital Da Vinci
Lee, Newton
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Produktdesign
Bühler, Peter
-
The Art of Artificial Evolution
Romero, Juan
-
Raspberry Pi - Das technische Handbuch
Klaus Dembowski
-
Bibliothek der Mediengestaltung - Auf...
Bühler, Peter
-
Bibliothek der Mediengestaltung - Bas...
Bühler, Peter
-
Agent and Multi-Agent Systems: Techno...
Jezic, Gordan
-
KI & Recht kompakt
Hartmann, Matthias
-
Methoden der Mikrobiologie
Brandis-Heep, Astrid
-
Praxishandbuch klinische Ernährung un...
Eric Stein
-
High-Performance Energy-Efficient Mic...
Oklobdzija, Vojin G.
-
Sustainable Fashion: Consumer Awarene...
Muthu, Subramanian Senthilkannan
-
Networks in Action
Sierksma, Gerard (University of Groningen, The Netherlands); Sierksma, Gerard (University of Groningen, The Netherlands)
-
Costs of Ammonia Abatement and the Cl...
Reis, Stefan
-
Complex Intelligent Systems and Their...
Jorge, Miguel; Caballe, Santi; Xhafa, Fatos