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

Treffer: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering

Titel:

Körperschaft:

Veröffentlicht:

New York, NY : ACM, 2016

Vertrieb:

New York, NY : ACM

Umfang:

1 Online-Ressource (61 pages)

Publikationstyp:

E-Book

Sprache:

Englisch

Anmerkungen:

Title from The ACM Digital Library

ISBN:

9781450341592

Zusatz-Informationen