Ucebnice.cz Odborná • naučnáTechnické vědyInformační technologieSoftwareProgramování
Termín obdržení zásilky
Česká pošta Úterý 14.04
PPL Úterý 14.04
Osobní odběr Středa 15.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

Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development
9 %

1735  Kč 1 909 Kč

Sleva až 70% u třetiny knih
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Autor:
Nakladatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642058806
Rok vydání: CZE
Jazyk : Čeština
Vazba: CZE
Počet stran: CZE
Mohlo by se vám také líbit..