Platform-independent Specification and Verification of the Standard Mathematical Square Root Function | Shilov | Modeling and Analysis of Information Systems

Modeling and Analysis of Information Systems
Modelirovanie i analiz informacionnyh sistem

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

eng | рус

Preview

Modeling and Analysis of Information Systems

Advanced search

Archives

Download this PDF file

For citations:

Shilov N.V., Kondratyev D.A., Anureev I.S., Bodin E.V., Promsky A.V. Platform-independent Specification and Verification of the Standard Mathematical Square Root Function. Modeling and Analysis of Information Systems. 2018;25(6):637-666. (In Russ.) https://doi.org/10.18255/1818-1015-2018-6-637-666

Views PDF (Rus): 930

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 License.

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

* not an advertisement

Indexing Databases

* not an advertisement

Popular articles

Editor-in-Chief

Article Tools

How to cite item

Finding References

Email this article (Login required)

Email the author (Login required)

About the Authors

Nikolay V. Shilov
Autonomous noncommercial organization of higher education "Innopolis University"
Russian Federation

PhD

1 Universitetskaya str., Innopolis, Tatarstan Republic, 420500

Dmitry A. Kondratyev
A.P. Ershov Institute of Informatics Systems
Russian Federation

postgraduate student

6, Acad. Lavrentjev pr., Novosibirsk 630090

Igor S. Anureev
A.P. Ershov Institute of Informatics Systems
Russian Federation

PhD, senior researcher

6, Acad. Lavrentjev pr., Novosibirsk 630090

Eugene V. Bodin
A.P. Ershov Institute of Informatics Systems
Russian Federation

researcher

6, Acad. Lavrentjev pr., Novosibirsk 630090

Alexei V. Promsky
A.P. Ershov Institute of Informatics Systems
Russian Federation

PhD, scientific secretary

6, Acad. Lavrentjev pr., Novosibirsk 630090

Notifications