Home |  ENGLISH |  Kontakt |  Impressum |  Datenschutz |  Anmelden |  KIT

Inproceedings676

Aus Aifbportal

Wechseln zu: Navigation, Suche


Giving Structured Analysis Techniques A Formal And Operational Semantics With KARL




Published: 1993
Herausgeber: Heinz Züllighoven, Werner Altmann, Ernst-Erich Doberkat
Buchtitel: Requirements Engineering 93: Prototyping
Verlag: Teubner Verlag, Stuttgart

Referierte Veröffentlichung

BibTeX

ISBN: 3-519-02682-1}



Forschungsgruppe

Wissensmanagement


Forschungsgebiet