Tags
Language
Tags
<<
May 2024
Su Mo Tu We Th Fr Sa
28 29 30 1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31 1
  1. Home
  2. eBooks & eLearning
  3. Program Verification

Static Analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings

Posted By: readerXXI
Date: 14 Dec 2022 17:30:04
Static Analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings

Static Analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings
by Gagandeep Singh and Caterina Urban
English | 2022 | ISBN: 3031223071 | 482 Pages | True ePUB | 52 MB
Details

Static Analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings

Posted By: readerXXI
Date: 11 Dec 2022 14:58:15
Static Analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings

Static Analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings
by Gagandeep Singh and Caterina Urban
English | 2022 | ISBN: 3031223071 | 482 Pages | True PDF | 16 MB
Details

Rigorous Software Development: An Introduction to Program Verification (Repost)

Posted By: AvaxGenius
Date: 6 Jul 2020 09:23:17
Rigorous Software Development: An Introduction to Program Verification (Repost)

Rigorous Software Development: An Introduction to Program Verification by José Bacelar Almeida
English | PDF | 2011 | 269 Pages | ISBN : 0857290177 | 2.95 MB

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software.
Details
UPWARDS