Feedback
Logic and algebra of specification : [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991] / ed. by Friedrich L. Bauer ...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Beteiligte: | |
| Sprache: | Englisch |
| Veröffentlicht: | Berlin : Springer, 1993 |
| Schriftenreihe: | NATO ASI series / F / NATO
; ZDB-ID: 788949-5 ; 94
|
| Umfang: | VII, 444 S. |
| ISBN: | 3540558136 9783540558132 0387558136 9780387558134 |
| Anmerkungen: | Includes bibliographical references |
| Schlagwörter: | |
| Basisklassifikation: |