Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
1997
|
| Schriftenreihe: | Lecture notes in computer science
1349 |
| Schlagworte: |
Engenharia de programacao (software)
> Génie logiciel - Congrès
> Informatica
> Logica
> Types abstraits de données (informatique) - Congrès
> génie logiciel
> logique algébrique
> méthode formelle
> spécification 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: | X, 594 S. graph. Darst. |
|---|---|
| ISBN: | 3540638881 3-540-63888-1 |