Reasoning about Pointer Structures in Java

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2006-30

Klassifikation
Informatik
Schlagwort
Java
Verifikation

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg
(wann)
2006
Urheber
Stenzel, Kurt
Grandy, Holger
Reif, Wolfgang

URN
urn:nbn:de:bvb:384-opus4-3719
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:48 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 2006

Ähnliche Objekte (12)