Formal system verification : state-of the-art and future trends /

Bibliographic Details
Corporate Author: ProQuest (Firm)
Other Authors: Drechsler, Rolf (Editor)
Format: eBook
Language:English
Published: Cham, Switzerland : Springer, [2018]
Subjects:
Online Access:Connect to the full text of this electronic book

MARC

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