duminică, 23 noiembrie 2014

KeYmaera 3.6.15 (Freeware)

A powerful verification tool designed to be used by hybrid systems that include deductive, real algebraic, and computer algebraic technologies

KeYmaera 3.6.15 (Freeware)
Publicat de la
Etichete:

Niciun comentariu:

Trimiteți un comentariu

Abonați-vă la: Postare comentarii (Atom)