Detail produktu

Vutbrmsr .NET class library

RYŠAVÝ, O.

Typ produktu

software

Abstrakt

The software project implementes the basic and extendible infrastructure for verification algorithms and data structures. It targets Microsoft ROTOR/.NET framework. Design and implementation of the library is driven by algorithm-oriented branch of generic programming approach in order to meet the maximal effectiveness and reusability of the implemented components.

Klíčová slova

ROTOR/.NET framework, class library, verification algorithms and data structures

Datum vzniku

1. 9. 2005

Umístění

https://www.fit.vut.cz/research/product/18/

Možnosti využití

Využití výsledku jiným subjektem je možné bez nabytí licence (výsledek není licencován)

Licenční poplatek

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

https://www.fit.vut.cz/research/product/18/