Kein Cover

Verification of Java programs with generics

Stenzel, Kurt ; Grandy, Holger ; Reif, Wolfgang ; Meseguer, José ; Roşu, Grigore 2008 Universität Augsburg

Link zu diesem Datensatz
https://d-nb.info/1383093539
Titel
Verification of Java programs with generics
Art des Inhalts
Monographie
Verfassangaben
Kurt Stenzel, Holger Grandy, Wolfgang Reif ; Herausgeber: José Meseguer, Grigore Roşu
Autor(en)
  • Stenzel, Kurt
  • Grandy, Holger
  • Reif, Wolfgang
  • Meseguer, José
  • Roşu, Grigore
Verlag
Augsburg : Universität Augsburg [2008] - Berlin : Springer [2008]
Jahr
Erscheinungsdatum: 2008
Umfang/Format
Online-Ressource
DOI
10.1007/978-3-540-79980-1_24
Online
https://doi.org/10.1007/978-3-540-79980-1_24
Sprache
eng
Anmerkungen
In: Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, proceedings, S. 315-329
Stand
09.01.2026 11:22
Im Katalog seit
07.03.2026

Beschreibung vom Verlag

← Zurück zur Startseite