2025-02-23T10:28:44-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-86285%22&qt=morelikethis&rows=5
2025-02-23T10:28:44-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-86285%22&qt=morelikethis&rows=5
2025-02-23T10:28:44-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T10:28:44-05:00 DEBUG: Deserialized SOLR response
Верификация программ: состояние, проблемы, результаты. I

Верификация программ: состояние, проблемы, результаты. I

Представлено аналiтичний огляд сучасних методiв верифiкацiї програмного забезпечення послiдовних, функцiональних, паралельних та розподiлених систем. Основну увагу придiлено методам верифiкацiї на основi властивостей абстрактних iнтерпретацiй, транзицiйних систем, мереж Петрi....

Full description

Saved in:
Bibliographic Details
Main Authors: Крывый, С.Л., Максимец, А.Н.
Format: Article
Language:Russian
Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2013
Series:Кибернетика и системный анализ
Subjects:
Кибернетика
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/86285
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

2025-02-23T10:28:44-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-86285%22&qt=morelikethis
2025-02-23T10:28:44-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-86285%22&qt=morelikethis
2025-02-23T10:28:44-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T10:28:44-05:00 DEBUG: Deserialized SOLR response

Similar Items