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

Treffer: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering

Titel:

Beteiligt:

Körperschaft:

Veröffentlicht:

New York, NY : ACM, 2014

Vertrieb:

New York, NY : ACM

Umfang:

1 Online-Ressource (58 pages)

Publikationstyp:

E-Book

Sprache:

Englisch

Anmerkungen:

Title from The ACM Digital Library

ISBN:

9781450328531

Zusatz-Informationen