Synthesis of Logic Programs from Object-Oriented Formal Specifications (Englisch)
- Neue Suche nach: Herranz, Ángel
- Neue Suche nach: Mariño, Julio
- Neue Suche nach: Herranz, Ángel
- Neue Suche nach: Mariño, Julio
- Neue Suche nach: Herbstritt, Marc
2011
- Sonstige / Elektronische Ressource
-
Titel:Synthesis of Logic Programs from Object-Oriented Formal Specifications
-
Beteiligte:
-
Verlag:
-
Erscheinungsdatum:2011
-
Format / Umfang:11 pages
-
DOI:
-
Medientyp:Sonstige
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 000
- Weitere Informationen zu Dewey Decimal Classification
-
Schlagwörter:
-
Klassifikation:
DDC: 000 -
Datenquelle: