2025-02-23T00:41:39-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-86650%22&qt=morelikethis&rows=5
2025-02-23T00:41:39-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-86650%22&qt=morelikethis&rows=5
2025-02-23T00:41:39-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T00:41:39-05:00 DEBUG: Deserialized SOLR response
Partial evaluation in insertion modeling system

Partial evaluation in insertion modeling system

The paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for development of insertion machines, used to represent insertion models of distributed systems. The notions of insertion modeling are stated. The main features of partial evaluation are descri...

Full description

Saved in:
Bibliographic Details
Main Author: Peschanenko, V.
Language:English
Published: Інститут програмних систем НАН України 2013
Series:Проблеми програмування
Subjects:
Формальні методи розробки програмного забезпечення
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/86650
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

2025-02-23T00:41:39-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-86650%22&qt=morelikethis
2025-02-23T00:41:39-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-86650%22&qt=morelikethis
2025-02-23T00:41:40-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T00:41:40-05:00 DEBUG: Deserialized SOLR response

Similar Items