joi, 11 septembrie 2014

KeYmaera 3.6.12 (Freeware)

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

KeYmaera 3.6.12 (Freeware)
Publicat de la
Etichete:

Niciun comentariu:

Trimiteți un comentariu

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