MARC details
| 000 -LEADER |
|---|
| fixed length control field |
03620nam a2200613 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
AH33175226 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
StDuBDS |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20230127143125.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
a|||||s|||| 00| 0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr ||||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
200225s2017 sz a gs 000|0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319640211 (e-book) |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
StDuBDS |
| Language of cataloging |
eng |
| Transcribing agency |
StDuBDS |
| Description conventions |
rda |
| Modifying agency |
UkPrAHLS |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
PBWH |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYD |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
MAT |
| Source |
ukslc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
PBWH |
| Source |
thema |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA |
| Source |
thema |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ |
| Source |
thema |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYD |
| Source |
thema |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
PBCD |
| Source |
thema |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
PBW |
| Source |
thema |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UK |
| Source |
thema |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UM |
| Source |
thema |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYQM |
| Source |
thema |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
O'Regan, Gerard, |
| Relator term |
author. |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Concise guide to formal methods : |
| Remainder of title |
theory, fundamentals and industry applications / |
| Statement of responsibility, etc. |
Gerard O'Regan. |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
1st edition |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2017. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
322 pages : |
| Other physical details |
illustrations (black and white, and colour) |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Source |
rdacarrier |
| 366 ## - TRADE AVAILABILITY INFORMATION |
|---|
| Detailed date of publication |
20170824 |
| 490 0# - SERIES STATEMENT |
|---|
| Series statement |
Undergraduate Topics in Computer Science |
| 520 8# - SUMMARY, ETC. |
|---|
| Summary, etc. |
This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing.Topics and features: introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics; presents a short history of logic, from Aristotle's syllogistic logic and the logic of the Stoics, through Boole's symbolic logic, to Frege's work on predicate logic; covers propositional and predicate logic, as well as more advanced topics such as fuzzy logic, temporal logic, intuitionistic logic, undefined values, and the applications of logic to AI; examines the Z specification language, the Vienna Development Method (VDM) and Irish School of VDM, and the unified modelling language (UML); discusses Dijkstra's calculus of weakest preconditions, Hoare's axiomatic semantics of programming languages, and the classical approach of Parnas and his tabular expressions; provides coverage of automata theory, probability and statistics, model checking, and the nature of proof and theorem proving; reviews a selection of tools available to support the formal methodist, and considers the transfer of formal methods to industry; includes review questions and highlights key topics in every chapter, and supplies a helpful glossary at the end of the book.This stimulating guide provides a broad and accessible overview of formal methods for students of computer science and mathematics curious as to how formal methods are applied to the field of computing. |
| 530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE |
|---|
| Additional physical form available note |
Also available in printed form ISBN 9783319640204 |
| 533 ## - REPRODUCTION NOTE |
|---|
| Type of reproduction |
Electronic reproduction. |
| Agency responsible for reproduction |
Askews and Holts. |
| Note about reproduction |
Mode of access: World Wide Web. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Mathematics |
| Source of heading or term |
ukslc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Mathematical modelling |
| Source of heading or term |
thema |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Mathematical theory of computation |
| Source of heading or term |
thema |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Software Engineering |
| Source of heading or term |
thema |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Systems analysis & design |
| Source of heading or term |
thema |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Mathematical logic |
| Source of heading or term |
thema |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Applied mathematics |
| Source of heading or term |
thema |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer hardware |
| Source of heading or term |
thema |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer programming / software engineering |
| Source of heading or term |
thema |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Machine learning |
| Source of heading or term |
thema |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Source of term |
lcsh |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://www.vlebooks.com/vleweb/product/openreader?id=WestLondon&isbn=9783319640211">https://www.vlebooks.com/vleweb/product/openreader?id=WestLondon&isbn=9783319640211</a> |
| Public note |
Open e-book |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Dewey Decimal Classification |