Search Results for Interpretation.

1.

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Yazar

Dillig, Isil. editor. Palsberg, Jens. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-73721-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Yazar

Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334073.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35873-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

Yazar

Kuncak, Viktor. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-27940-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Yazar

Jhala, Ranjit. editor. Schmidt, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-18275-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Yazar

Barthe, Gilles. editor. Hermenegildo, Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-11319-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Yazar

Jones, Neil D. editor. Müller-Olm, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-93900-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Yazar

Logozzo, Francesco. editor. Peled, Doron A. editor. Zuck, Lenore D. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-78163-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Yazar

Cook, Byron. editor. Podelski, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69738-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

Yazar

Emerson, E. Allen. editor. Namjoshi, Kedar S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11609773

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

Yazar

Cousot, Radhia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105073

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}