Kein Cover

A refinement method for Java programs

Grandy, Holger ; Stenzel, Kurt ; Reif, Wolfgang ; Bonsangue, Marcello M. ; Broch Johnsen, Einar 2007 Universität Augsburg

Link zu diesem Datensatz
https://d-nb.info/1383094195
Titel
A refinement method for Java programs
Art des Inhalts
Monographie
Verfassangaben
Holger Grandy, Kurt Stenzel, Wolfgang Reif ; Herausgeber: Marcello M. Bonsangue, Einar Broch Johnsen
Autor(en)
  • Grandy, Holger
  • Stenzel, Kurt
  • Reif, Wolfgang
  • Bonsangue, Marcello M.
  • Broch Johnsen, Einar
Verlag
Augsburg : Universität Augsburg [2007] - Berlin : Springer [2007]
Jahr
Erscheinungsdatum: 2007
Umfang/Format
Online-Ressource
DOI
10.1007/978-3-540-72952-5_14
Online
https://doi.org/10.1007/978-3-540-72952-5_14
Sprache
eng
Anmerkungen
In: Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, proceedings, S. 221-235
Stand
09.01.2026 10:52
Im Katalog seit
07.03.2026

Beschreibung vom Verlag

← Zurück zur Startseite