Loading
Loading…
Loading…
Tender Value
Refer Docs
EMD Value
Exempted
Closing Date
15 Jun 2026, 11:00 am
CompCert-x86-64: Formally verified C Compiler
9293204
GEM/2026/B/7507349
Two Packet Bid
CompCert-x86-64: Formally verified C Compiler
North Delhi, Delhi
Total value wise evaluation
PRODUCT_CUSTOM
2 documents required · 2 mandatory
| Item | Delivery Location | Qty | Delivery |
|---|---|---|---|
| CompCert-x86-64: Formally verified C Compiler | NORTH DELHI | 1 | 45 days |
Director, SAG Metcalfe House, Civil Lines, Delhi, (Director Sag)
Exempted
Yes
1 Jun 2026
1 Jun 2026
15 Jun 2026
Tap a document below to read it instantly. You can also download everything as a ZIP if you prefer.
bid_9293204.pdf
GEM_BID • 0.10 MB
technical_spec_2026-05-06-10-55-22_0c07e1f780f6ed175dda3a88c80688ec.pdf
GEM_SPEC • 2.03 MB
1778045705.pdf
GEM_OTHER • 1.03 MB
1778045711.pdf
GEM_OTHER • 1.03 MB
gtc.pdf
GEM_OTHER • 0.71 MB
Download all tender documents and submit your bid