Abstraction and specification in program development
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Cambridge, Mass. u.a.
MIT Press u.a.
1986
|
| Schriftenreihe: | The MIT electrical engineering and computer science series
|
| Schlagworte: |
CLU
> Ordinateurs - programmation
> PASCAL
> Programmation (Informatique)
> Programmatuurtechniek
> abstraction donnée
> abstraction
> conception logiciel
> débogage
> développement logiciel
> méthodologie programmation
> spécification
> test
> vérification logiciel
> Computer programming
> Programmierung
> Softwareentwicklung
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | XV, 469 S. |
|---|---|
| ISBN: | 0262121123 0-262-12112-3 0070379963 0-07-037996-3 |