Search Results for Foundations.

2 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

00DEFAULTTR

Yazdır

1.

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings için kapak resmi

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Yazar

Blanchette, Jasmin Christian. editor.

http://dx.doi.org/10.1007/978-3-319-43144-4

Format:

Electronic Resources

Alıntı:

foundations to implementation aspects and applications in program verification, security and formalization of

2.

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings için kapak resmi

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

Yazar

Blanchette, Jasmin Christian. editor.

http://dx.doi.org/10.1007/978-3-319-21215-9

Format:

Electronic Resources

Alıntı:

Crossroads of Design, Implementation and Foundations -- Reasoning about C Concurrency and Compilers

Tümünü Seç

1

2 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2