Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer: Proceedings of the ACM SIGSOFT international workshop on formal methods in software development

Titel:

Beteiligt:

Körperschaft:

Veröffentlicht:

New York : ACM, 1990

Umfang:

XII, 149 S.

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Software engineering notes ; 15,4

RVK-Notation:

ISBN:

0897914155

Zusatz-Informationen