Algebraic methodology and software technology 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
1996
|
| Schriftenreihe: | Lecture notes in computer science
1101 |
| Schlagworte: |
Algebra
> Génie logiciel - Congrès
> Logica
> Programmatuurtechniek
> Types abstraits de données (Informatique) - Congrès
> Types abstraits de données (informatique) - Congrès
> application industrielle
> logique algébrique
> méthode formelle
> programmation en logique
> programmation par objets
> système concurrent
> système réactif
> technologie logiciel
> vérification programme
> Logik
> Software engineering -- Congresses
> Abstract data types (Computer science) -- Congresses
> Softwareentwicklung
> Algebraische Methode
> Konferenzschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | XII, 640 S. Ill. |
|---|---|
| ISBN: | 354061463X 3-540-61463-X |