Liste görünümüne geç
Küçük resim görünümüne geç
2 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULT_TR
Yazdır
1. 
The French School of Programming için kapak resmi
The French School of Programming
Yazar 
Meyer, Bertrand. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34518-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Guide to Software Verification with Frama-C Core Components, Usages, and Applications için kapak resmi
Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Yazar 
Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55608-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets