Verified Software: Theories, Tools and Experiments
1845 Kč 1 887 Kč
Odesíláme do 3 až 5 dní
Sleva až 70% u třetiny knih
| Autor: | Giannakopoulou, Dimitra |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 3319121537 |
| Rok vydání: | 2014 |
| Jazyk : | Angličtina |
| Vazba: | Paperback / softback |
Mohlo by se vám také líbit..
-
Enterprise Systems. Strategic, Organi...
Sedera, Darshana
-
Rewriting Logic and Its Applications
Escobar, Santiago
-
Cybersecurity Systems for Human Cogni...
Pino, Robinson E.
-
Abdominal Imaging. Computation and Cl...
Yoshida, Hiroyuki
-
Advances in Cryptology -- CRYPTO 2010
Rabin, Tal
-
Advances in Computational Intelligence
Castro, Félix
-
Advances in Knowledge Discovery and D...
Kim, Jinho
-
Embedded Software Development with C
Qian, Kai
-
Advances in Digital Forensics VI
Chow, Kam-Pui
-
Programming Languages
Carvalho Junior, Francisco Heron de
-
Reversible Computation
Krivine, Jean
-
New Frontiers in Artificial Intelligence
Murata, Tsuyoshi
-
Computational Logic in Multi-Agent Sy...
Dix, Jürgen
-
Advances in Practical Applications of...
Demazeau, Yves
-
Computer Science -- Theory and Applic...
Beklemishev, Lev D.
-
Photoshop 6
Häßler, Ulrike