| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000Ma 4500 |
| 001 |
in00003545310 |
| 006 |
m o d |
| 007 |
cr nn||||||||| |
| 008 |
121227s1999 enk o 000 0 eng d |
| 005 |
20260421171144.1 |
| 020 |
|
|
|a 9781447107910 (electronic bk.)
|
| 020 |
|
|
|a 1447107918 (electronic bk.)
|
| 035 |
|
|
|a (OCoLC)840277229
|
| 040 |
|
|
|a I9W
|b eng
|e pn
|c I9W
|d OCLCQ
|d UV0
|d OCLCO
|d GW5XE
|d OCLCF
|d UtOrBLW
|
| 049 |
|
|
|a TXAM
|
| 050 |
|
4 |
|a QA8.9-QA10.3
|
| 082 |
0 |
4 |
|a 005.131
|2 23
|
| 100 |
1 |
|
|a Nissanke, Nimal.
|
| 245 |
1 |
0 |
|a Formal Specification :
|b Techniques and Applications /
|c by Nimal Nissanke.
|
| 264 |
|
1 |
|a London :
|b Springer London,
|c 1999.
|
| 300 |
|
|
|a 1 online resource (XX, 295 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 505 |
0 |
|
|a Introduction -- Schema Language -- An Approach to Specification -- Specification for Fun -- A Specifiction for Clocks -- Reasoning About Specifications -- Specification of a Network Protocal -- Object Oriented Specification -- Specification of Safety -- An Overview of VDM -- Algebraic Approach to Specification -- Algebraic Specification in CLEAR -- A. Exercises on Reading Formal Specifications -- B. Exercises on Writing Formal Specifications -- C. The Mathematical Notation -- References -- Index.
|
| 520 |
|
|
|a Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications. It covers both model-based and algebraic approaches and emphasises the range of languages and approaches which are available. Mathematical principles are explained using examples from everyday life (like card games), in order to "demystify" them and make them more comprehensible. It includes: unrivalled coverage of the topic including all important, recent advances lots of exercises with model answers case studies to guide students through the main principles margin notes to identify key points. Readers of this book do not have to be fully competent in formal specification - it is written to be accessible to any student who wants to learn about the topic.
|
| 500 |
|
|
|a Electronic resource.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Logic design.
|
| 650 |
|
7 |
|a Computer science.
|2 fast
|0 (OCoLC)fst00872451
|
| 650 |
|
7 |
|a Logic design.
|2 fast
|0 (OCoLC)fst01002045
|
| 650 |
|
7 |
|a Software engineering.
|2 fast
|0 (OCoLC)fst01124185
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=https://link.springer.com/10.1007/978-1-4471-0791-0
|z Connect to the full text of this electronic book
|t 0
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s 04e9a3e9-15c5-39fe-8be5-de25f3f7e718
|i 097209a9-492e-311f-b98f-aaae2d55c484
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|s www_evans
|d Available Online
|t 0
|e QA8.9-QA10.3
|h Library of Congress classification
|
| 998 |
f |
f |
|a QA8.9-QA10.3
|t 0
|l Available Online
|