|
|
|
|
LEADER |
00000cam a2200000Ii 4500 |
001 |
in00003904242 |
005 |
20190125133539.0 |
006 |
m o d |
007 |
cr cnu|||unuuu |
008 |
170623s2018 sz ob 000 0 eng d |
020 |
|
|
|a 9783319576855
|q (electronic bk.)
|
020 |
|
|
|a 3319576852
|q (electronic bk.)
|
020 |
|
|
|z 9783319576831
|
020 |
|
|
|z 3319576836
|
024 |
8 |
|
|a 99974710420
|
035 |
|
|
|a (NhCcYBP)ebc4882822
|
040 |
|
|
|a NhCcYBP
|c NhCcYBP
|d UtOrBLW
|
050 |
|
4 |
|a QA76.76.V47
|b F67 2018
|
072 |
|
7 |
|a COM
|x 051330
|2 bisacsh
|
082 |
0 |
4 |
|a 005.1/4
|2 23
|
245 |
0 |
0 |
|a Formal system verification :
|b state-of the-art and future trends /
|c Rolf Drechsler, editor.
|
264 |
|
1 |
|a Cham, Switzerland :
|b Springer,
|c [2018]
|
300 |
|
|
|a 1 online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
504 |
|
|
|a Includes bibliographical references.
|
588 |
0 |
|
|a Vendor-supplied metadata.
|
505 |
0 |
|
|a Formal Techniques for Verification and Coverage Analysis of Analog Systems -- Verification of Incomplete Designs -- Probabilistic Model Checking: Advances and Applications -- Software in a Hardware View -- Formal Verification -- The Industrial Perspective.
|
500 |
|
|
|a Electronic resource.
|
650 |
|
0 |
|a Computer systems
|x Verification.
|0 http://id.loc.gov/authorities/subjects/sh2008002946
|
650 |
|
0 |
|a Computer software
|x Verification.
|0 http://id.loc.gov/authorities/subjects/sh85029537
|
650 |
|
0 |
|a Integrated circuits
|x Verification.
|0 http://id.loc.gov/authorities/subjects/sh93005422
|
650 |
|
0 |
|a Electronic systems.
|0 http://id.loc.gov/authorities/subjects/sh85042373
|
655 |
|
7 |
|a Electronic books.
|2 local
|
700 |
1 |
|
|a Drechsler, Rolf,
|e editor.
|0 http://id.loc.gov/authorities/names/n98033803
|
710 |
2 |
|
|a ProQuest (Firm)
|0 http://id.loc.gov/authorities/names/n2007068018
|
776 |
1 |
8 |
|c Original
|z 9783319576831
|z 3319576836
|
856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=https://ebookcentral.proquest.com/lib/tamucs/detail.action?docID=4882822
|y Connect to the full text of this electronic book
|t 0
|
955 |
|
|
|a YBP purchased firm e-records
|
980 |
|
|
|b 198.00
|g 1
|
987 |
|
|
|a ybp14655606
|
999 |
f |
f |
|s 44243488-f5f9-3072-b6b1-08d3dd56dc86
|i fce8e972-1689-3c71-a2fb-2b136ef1a1b2
|t 0
|
952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|d Available Online
|t 0
|e QA76.76.V47 F67 2018
|h Library of Congress classification
|
998 |
f |
f |
|a QA76.76.V47 F67 2018
|t 0
|l Available Online
|