Search Results for Jones, Cliff.

3 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ç

000DEFAULTTR

Yazdır

1.

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings için kapak resmi

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Yazar

Jones, Cliff. editor.

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

Format:

Electronic Resources

Alıntı:

/ Jones, Cliff. editor.

2.

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday için kapak resmi

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Yazar

Jones, Cliff. editor.

https://doi.org/10.1007/978-3-030-01461-2

Format:

Electronic Resources

Alıntı:

Occasion of His 80th Birthday / Jones, Cliff. editor.

3.

Proof, language, and interaction : essays in honour of Robin Milner için kapak resmi

Proof, language, and interaction : essays in honour of Robin Milner

Proof, language, and interaction : essays in honour of Robin Milner

Yazar

Plotkin, G. (Gordon), 1946-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426

Format:

Electronic Resources

Alıntı:

Huet, Paul B. Jackson, Alan S. A. Jeffrey, Somesh Jha, He Jifeng, Cliff B. Jones, Cosimo Laneve, Xinxin

Tümünü Seç

1

3 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