Filter by

  • Publication Year
    To
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: subject="Computer software--Ve...
# Debug Box 
/var/www/htdocs/pustaka-digital/lib/SearchEngine/SearchBiblioEngine.php:688 "Search Engine Debug 🔎 🪲"

Engine Type ⚙️: "SLiMS\SearchEngine\SearchBiblioEngine"

SQL ⚙️: array:2 [
  "count" => "select count(sb.biblio_id) from search_biblio as sb where sb.opac_hide=0 and ((match (sb.topic) against (:subject in boolean mode)))"
  "query" => "select sb.biblio_id, sb.title, sb.author, sb.topic, sb.image, sb.isbn_issn, sb.publisher, sb.publish_place, sb.publish_year, sb.labels, sb.input_date, sb.edition, sb.collation, sb.series_title, sb.call_number from search_biblio as sb where sb.opac_hide=0 and ((match (sb.topic) against (:subject in boolean mode))) order by sb.last_update desc limit 10 offset 0"
]

Bind Value ⚒️: array:1 [
  ":subject" => "'+\"Computer software--Verification\"'"
]
cover
Tools and algorithms for the construction and analysis of systems : 26th Inte…
Biere, ArminParker, David

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was …

Edition
-
ISBN/ISSN
9783030452377
Collation
xxiii, 425p. : ill.
Series Title
-
Call Number
004.21 TOO t
cover
Programming languages and systems : 29th European Symposium on Programming, E…
Müller, Peter

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Edition
-
ISBN/ISSN
9783030449148
Collation
xv, 772p. : ill.
Series Title
-
Call Number
005.1 PRO p