Termín obdržení zásilky
Česká pošta Pondělí 01.04
PPL Pondělí 01.04
Osobní odběr Úterý 02.04
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Building High Integrity Applications with SPARK

 Building High Integrity Applications with SPARK

1570  Kč

Sleva až 70% u třetiny knih
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
Autor:
Nakladatel: Cambridge University Press
ISBN: 9781107656840
Rok vydání: 2015
Jazyk : Angličtina
Vazba: Paperback
Počet stran: 382
Mohlo by se vám také líbit..