+- HHWForum.hu (https://hhwforum.hu)
+-- Fórum: Letöltések (https://hhwforum.hu/forumdisplay.php?fid=9)
+--- Fórum: E-könyvek (https://hhwforum.hu/forumdisplay.php?fid=57)
+---- Fórum: Külföldi könyvek (https://hhwforum.hu/forumdisplay.php?fid=64)
+---- Téma: Verified Software Theories, Tools, Experiments (/showthread.php?tid=167696)
RE: Verified Software Theories, Tools, Experiments - book24h - 2024-11-11
![[Kép: a43d97ae3cd74ae3e2fd0ac8c0d81401.webp]](https://i124.fastpic.org/big/2024/1111/01/a43d97ae3cd74ae3e2fd0ac8c0d81401.webp)
Free Download Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani, "Verified Software: Theories, Tools, Experiments"
English | 2010 | pages: 227 | ISBN: 364215056X | PDF | 2,4 mb
Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume.
Buy Premium From My Links To Get Resumable Support,Max Speed & Support Me
Idézet:A kódrészlet megtekintéséhez be kell jelentkezned, vagy nincs jogosultságod a tartalom megtekintéséhez.Links are Interchangeable - Single Extraction