Home |  DEUTSCH |  Contact |  Imprint |  Login |  KIT

Inproceedings676

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

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


-->