Detail of purchased E-resource

*

Automating Formal Methods for Computer Assisted Prototying, IEE Colloquium on

eng


Katalog knihoven RA EIZ je vytvářen na základě Adresáře knihoven a informačních institucí v ČR vytvářeného Národní knihovnou ČR