Guide to Software Verification with Frama-C Core Components, Usages, and Applications /
Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of f...
সংরক্ষণ করুন:
| সংস্থা লেখক: | |
|---|---|
| অন্যান্য লেখক: | , , |
| বিন্যাস: | বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ |
| ভাষা: | ইংরেজি |
| প্রকাশিত: |
Cham :
Springer International Publishing : Imprint: Springer,
2024.
|
| সংস্করন: | 1st ed. 2024. |
| মালা: | Computer Science Foundations and Applied Logic,
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | https://doi.org/10.1007/978-3-031-55608-1 |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
অনুরূপ উপাদানগুলি
Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
প্রকাশিত: (2025)
প্রকাশিত: (2025)
Concise Guide to Software Verification From Model Checking to Annotation Checking /
অনুযায়ী: Huisman, Marieke, অন্যান্য
প্রকাশিত: (2023)
অনুযায়ী: Huisman, Marieke, অন্যান্য
প্রকাশিত: (2023)
The French School of Programming
প্রকাশিত: (2024)
প্রকাশিত: (2024)
A Concise Introduction to Software Engineering With Open Source and GenAI /
অনুযায়ী: Jalote, Pankaj
প্রকাশিত: (2025)
অনুযায়ী: Jalote, Pankaj
প্রকাশিত: (2025)
Text and Math Into LaTeX
অনুযায়ী: Gratzer, George
প্রকাশিত: (2024)
অনুযায়ী: Gratzer, George
প্রকাশিত: (2024)
Modern C Programming Including Standards C99, C11, C17, C23 /
অনুযায়ী: Gazi, Orhan
প্রকাশিত: (2024)
অনুযায়ী: Gazi, Orhan
প্রকাশিত: (2024)
Python for Agriculturists
অনুযায়ী: Iqbal, Muhammad Azhar
প্রকাশিত: (2025)
অনুযায়ী: Iqbal, Muhammad Azhar
প্রকাশিত: (2025)
Learning Java A Test-Driven Approach /
অনুযায়ী: Crotts, Joshua
প্রকাশিত: (2024)
অনুযায়ী: Crotts, Joshua
প্রকাশিত: (2024)
Transfer, Diffusion and Adoption of Next-Generation Digital Technologies IFIP WG 8.6 International Working Conference on Transfer and Diffusion of IT, TDIT 2023, Nagpur, India, December 15–16, 2023, Proceedings, Part II /
প্রকাশিত: (2024)
প্রকাশিত: (2024)
Transfer, Diffusion and Adoption of Next-Generation Digital Technologies IFIP WG 8.6 International Working Conference on Transfer and Diffusion of IT, TDIT 2023, Nagpur, India, December 15–16, 2023, Proceedings, Part III /
প্রকাশিত: (2024)
প্রকাশিত: (2024)
Transfer, Diffusion and Adoption of Next-Generation Digital Technologies IFIP WG 8.6 International Working Conference on Transfer and Diffusion of IT, TDIT 2023, Nagpur, India, December 15–16, 2023, Proceedings, Part I /
প্রকাশিত: (2024)
প্রকাশিত: (2024)
C under DOS test /
অনুযায়ী: Parikh, Riku
প্রকাশিত: (1993)
অনুযায়ী: Parikh, Riku
প্রকাশিত: (1993)
C under DOS test
অনুযায়ী: Parikh, Riku
প্রকাশিত: (1993)
অনুযায়ী: Parikh, Riku
প্রকাশিত: (1993)
ISTQB® Certified Tester Foundation Level A Self-Study Guide Syllabus v4.0 /
অনুযায়ী: Stapp, Lucjan, অন্যান্য
প্রকাশিত: (2024)
অনুযায়ী: Stapp, Lucjan, অন্যান্য
প্রকাশিত: (2024)
Distributed Computer and Communication Networks 27th International Conference, DCCN 2024, Moscow, Russia, September 23–27, 2024, Revised Selected Papers /
প্রকাশিত: (2025)
প্রকাশিত: (2025)
6GN for Future Wireless Networks 5th EAI International Conference, 6GN 2022, Harbin, China, December 17-18, 2022, Proceedings, Part I /
প্রকাশিত: (2023)
প্রকাশিত: (2023)
6GN for Future Wireless Networks 5th EAI International Conference, 6GN 2022, Harbin, China, December 17-18, 2022, Proceedings, Part II /
প্রকাশিত: (2023)
প্রকাশিত: (2023)
Computer Networks Data Communications, Internet and Security /
অনুযায়ী: Elahi, Ata, অন্যান্য
প্রকাশিত: (2024)
অনুযায়ী: Elahi, Ata, অন্যান্য
প্রকাশিত: (2024)
Digital Communications
অনুযায়ী: Sampaio de Alencar, Marcelo, অন্যান্য
প্রকাশিত: (2025)
অনুযায়ী: Sampaio de Alencar, Marcelo, অন্যান্য
প্রকাশিত: (2025)
Programming in ANSI C
অনুযায়ী: Balagurusamy
প্রকাশিত: (2004)
অনুযায়ী: Balagurusamy
প্রকাশিত: (2004)
C++
অনুযায়ী: Balagurusamy, E.
প্রকাশিত: (1995)
অনুযায়ী: Balagurusamy, E.
প্রকাশিত: (1995)
C Under DOS Test
অনুযায়ী: Mali
প্রকাশিত: (1998)
অনুযায়ী: Mali
প্রকাশিত: (1998)
C Under DOS Test
অনুযায়ী: Mali
প্রকাশিত: (1998)
অনুযায়ী: Mali
প্রকাশিত: (1998)
Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17–20 September 2023, Revised Selected Papers /
প্রকাশিত: (2024)
প্রকাশিত: (2024)
Programming with C
অনুযায়ী: Gottfried, Byron S.
প্রকাশিত: (1996)
অনুযায়ী: Gottfried, Byron S.
প্রকাশিত: (1996)
C-Programming
অনুযায়ী: Liton, Kamruzzaman
প্রকাশিত: (2000)
অনুযায়ী: Liton, Kamruzzaman
প্রকাশিত: (2000)
C-Programming
অনুযায়ী: Giasuddin, M.
প্রকাশিত: (2001)
অনুযায়ী: Giasuddin, M.
প্রকাশিত: (2001)
Programming in C /
অনুযায়ী: Kochan, Stephen G.
প্রকাশিত: (1987)
অনুযায়ী: Kochan, Stephen G.
প্রকাশিত: (1987)
Algebra and Its Applications ICAA-2023, Fez, Morocco, July 12–15 /
প্রকাশিত: (2025)
প্রকাশিত: (2025)
Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8–11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers /
প্রকাশিত: (2025)
প্রকাশিত: (2025)
Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26–29, 2023, Proceedings /
প্রকাশিত: (2023)
প্রকাশিত: (2023)
Linking Theory and Practice of Digital Libraries 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24–27, 2024, Proceedings, Part II /
প্রকাশিত: (2024)
প্রকাশিত: (2024)
Linking Theory and Practice of Digital Libraries 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24–27, 2024, Proceedings, Part I /
প্রকাশিত: (2024)
প্রকাশিত: (2024)
C: The Complete Reference
অনুযায়ী: Schildt, Herbert
প্রকাশিত: (1995)
অনুযায়ী: Schildt, Herbert
প্রকাশিত: (1995)
Programming in ANSI C
অনুযায়ী: Schildt, Herbert
প্রকাশিত: (1994)
অনুযায়ী: Schildt, Herbert
প্রকাশিত: (1994)
Teach Yourself C
অনুযায়ী: Schildt, Herbert
প্রকাশিত: (1994)
অনুযায়ী: Schildt, Herbert
প্রকাশিত: (1994)