Algebraic methodology and software technology 4th international conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
1995
|
| Schriftenreihe: | Lecture notes in computer science
936 |
| Schlagworte: |
Génie logiciel - Congrès
> Génie logiciel
> Informatica
> Informatique
> Logica
> Logique algébrique
> Types de données abstraites (Informatique) - Congrès
> algèbre relation
> concurrence
> génie logiciel
> logique algébrique
> programmation en logique
> programmation par objets
> spécification algébrique
> sémantique algébrique
> technologie logiciel
> Logik
> Software engineering -- Congresses
> Abstract data types (Computer science) -- Congresses
> Softwareentwicklung
> Software Engineering
> Algebraische Methode
> Konferenzschrift
|
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | XIV, 591 S. graph. Darst. |
|---|---|
| ISBN: | 3540600434 3-540-60043-4 |