Programming language : (Record no. 29256)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02434nam a2200277 i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | CSPC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250328090852.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250321s2023 onc b 001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781774694473 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | CSPC |
| Original cataloging agency | CSPC |
| Language of cataloging | eng |
| Description conventions | rda |
| 050 04 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.7 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.13 |
| Item number | P943 |
| 245 00 - TITLE STATEMENT | |
| Title | Programming language : |
| Remainder of title | theory and formal methods / |
| Statement of responsibility, etc. | edited by Zoran Gacovski. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Burlington, Ontario : |
| Name of producer, publisher, distributor, manufacturer | Arcler Press, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2023. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xxiv, 377 pages : |
| Other physical details | illustrations ; |
| Dimensions | 24 cm. |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Source | rdacaontent |
| 337 ## - MEDIA TYPE | |
| Media type term | unmediated |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | volume |
| Source | rdacarrier |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references and index. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Formal methods in programming -- Integrating formal methods in XP-A conceptual solution -- Formal methods for commercial applications issues vs. solutions -- Why formal methods are considered for safety critical systems -- An integration of UML sequence diagram with formal specification methods - a formal solution based on z -- Programming languages semantics -- Declarative programming with temporal constraints, in the language CG -- Lolisa: formal syntax and semantics for a subset of the solidity programming language in mathematical tool Coq -- Ontology of domains. ontological description software engineering domain - the standard life cycle -- Guidelines based software engineering for developing software components -- Intelligent agent based mapping of software requirement specification to design model -- Finite automata -- The equivalent conversion between regular grammar and finite automata -- Controllability, reachability, and stabilizability of finite automata : a controllability matrix method -- Bounded model checking of ETL cooperating with finite and looping automata connectives -- An automata-based approach to pattern matching -- Formal methods and semantics in distributed software -- Building requirements semantics for networked software interoperability -- Formal semantics of OWL-S with rewrite logic -- Web semantic and ontology -- Web services conversation adaptation using conditional substitution semantics of application domain concepts. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer programming. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Programming languages. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Gacovski, Zoran, |
| Relator term | author. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Suppress in OPAC | No |
| Koha item type | Books |
| Classification part | 005.13 |
| Call number prefix | CIR |
| Call number suffix | 2023 |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Main Library | Main Library | Circulation Section | 03/21/2025 | CIR 005.13 P943 2023 | 029337 | 03/21/2025 | 1-1 | 03/21/2025 | Books |