From object orientation to formal methods essays in memory of Ole-Johan Dahl
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
2004
|
| Schriftenreihe: | Lecture notes in computer science
2635 : Festschrift |
| Schlagworte: |
Dahl, Ole-Johan
> SIMULA - Aufsatzsammlung
> Softwareentwicklung - Objektorientierung - Formale Methode - Aufsatzsammlung
> Formal methods (Computer science)
> Object-oriented methods (Computer science)
> System design
> Formale Methode
> Softwareentwicklung
> Objektorientierung
> SIMULA
> Aufsatzsammlung
> Bibliografie
> Festschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | X, 388 S. graph. Darst. |
|---|---|
| ISBN: | 354021366X 3-540-21366-X |