Category Rules Rules Log in

Books
Tag: Frama-C

Books — Frama-C

RU

Fundamentals of Software Testing and Verification

Fundamentals of Software Testing and Verification

С. М. Старолетов

Software Development

THELIB

IT book library with translation into 8 languages.

Catalog

Books
Categories
Rules
Agreement

Account

Register
Log in
Support

Info

thelib.cc
v0.1

© 2026 THELIB 8 languages · AI translation on the fly