UB Paderborn / Katalog / Suche / im Katalog

Sortiert nach

Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings [Elektronische Ressource]

2003

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers [Elektronische Ressource]

Cortesi, Agostino

2002

1 – 2 von 2

Suche als RSS-Feed

Aktive Filter

Autor / AutorinCortesi, Agostino

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(2)

Autor / Autorin

Erscheinungsform

Monographie
(2)

Schlagwort

2 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(2)

Art des Inhalts

Sonstiges
(2)

Menü

Weitere Dienste

Einstellungen

Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings [Elektronische Ressource]

Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern