Treffer: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

Titel:

Verantwortlich:

Veröffentlicht:

Vienna : TU Wien Academic Press, 2020

Vertrieb:

The Hague : OAPEN FOUNDATION

Umfang:

1 Online-Ressource (284 p.)

Publikationstyp:

E-Book

Sprache:

Englisch

ISBN:

9783854480426 ; 9783854480426

Open Access Rechte:

Open Access

Zusatz-Informationen