Software engineering, 2. Specification of systems and languages : with 27 tables / D. Bjørner with contributions from Christian Krog Madsen
Berlin [u.a.]: Springer, 2006
Sammelwerk, Teil eines Werkes, Gedruckte Ressource
- XXIV, 777 S. : Ill., graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Software engineering, 2. Specification of systems and languages : with 27 tables / D. Bjørner with contributions from Christian Krog Madsen
|
---|---|
Autor/in / Beteiligte Person: | Bjørner, Dines (1937-) ; Krog Madsen, Christian |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 2006 |
Medientyp: | Sammelwerk, Teil eines Werkes |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XXIV, 777 S. : Ill., graph. Darst. |
ISBN: | 3540211500; 9783540211501 |
Sonstiges: |
|