Algebraic methodology and software technology 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
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 > 1996 > München
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XII, 640 S. Ill.
ISBN:	354061463X

Ähnliche Einträge