Algebraic methodology and software technology 7th International Conference, AMAST '98, Amazonia, Brazil, January 4 - 8, 1999 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
1999
|
| Schriftenreihe: | Lecture notes in computer science
1548 |
| Schlagworte: |
Arquitetura de computadores
> Engenharia de programacao (software)
> Fundamentele informatica
> Génie logiciel - Congrès
> Teoria da computacao
> Types abstraits de données (Informatique) - Congrès
> Types abstraits de données (informatique) - Congrès
> logique algébrique
> logique formelle
> spécification algébrique
> système temps réel
> sémantique programme
> vérification programme
> Software engineering -- Congresses
> Abstract data types (Computer science) -- Congresses
> Logische Programmierung
> Abstrakter Datentyp
> Algebraische Spezifikation
> Software Engineering
> Konferenzschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | XI, 529 S. graph. Darst. |
|---|---|
| ISBN: | 3540654623 3-540-65462-3 |