LEADER 00000cam a2200889Ia 4500
001 ocm71251545
003 OCoLC
005 20160527040610.4
006 m o d
007 cr cnu---unuuu
008 060905s2006 ne a ob 101 0 eng d
019 191037906|a243613663|a276799357|a473704868|a488644723
|a491253452|a607734058|a609301881|a613357324|a722472606
|a728016947
020 1423797426|q(electronic book)
020 9781423797425|q(electronic book)
020 1601291272
020 9781601291271
020 9781607501473
020 1607501473
020 |z1586035703|q(cloth)
020 |z9781586035709
035 (OCoLC)71251545|z(OCoLC)191037906|z(OCoLC)243613663
|z(OCoLC)276799357|z(OCoLC)473704868|z(OCoLC)488644723
|z(OCoLC)491253452|z(OCoLC)607734058|z(OCoLC)609301881
|z(OCoLC)613357324|z(OCoLC)722472606|z(OCoLC)728016947
037 978-1-58603-570-9|bIOS Press|nhttp://www.iospress.nl
040 N$T|beng|epn|cN$T|dOCLCQ|dHVC|dYDXCP|dSFB|dCAI|dWPG|dIOSPR
|dIDEBK|dOCLCE|dE7B|dOCLCQ|dMHW|dTUU|dOCLCQ|dMCR|dDKDLA
|dFVL|dOCLCQ|dOCLCO|dDEBSZ|dOCLCQ|dOCLCO|dOCLCQ|dOCLCO
|dEBLCP|dOCLCO|dOCLCQ|dOCLCO
042 dlr
049 RIDW
050 4 Q295|b.N38 2005eb
072 7 COM|xCOM014000|2bisacsh
082 04 005.8|222
090 Q295|b.N38 2005eb
111 2 NATO Advanced Research Workshop on Verification of
Infinite-state Systems with Applications to Security
|d(2005 :|cTimișoara, Romania)|0https://id.loc.gov/
authorities/names/nb2006011721
245 10 Verification of infinite-state systems with applications
to security /|cedited by Edmund Clarke, Marius Minea and
Ferucio Laurenţiu Ţiplea.
264 1 Amsterdam ;|aWashington, D.C. :|bIOS Press,|c[2006]
264 4 |c©2006
300 1 online resource (vii, 235 pages) :|billustrations.
336 text|btxt|2rdacontent
337 computer|bc|2rdamedia
338 online resource|bcr|2rdacarrier
340 |gpolychrome|2rdacc
347 text file|2rdaft
490 1 NATO security through science series. D : Information and
communication security ;|vvol. 1
500 Proceedings of the NATO Advanced Research Workshop on
Verification of Infinite-state Systems with Applications
to Security, Timaşoara, Romania, March 17-22, 2005.
504 Includes bibliographical references and author index.
505 0 Title page; Preface; Committees; Contents; Number-Set
Representations for Infinite-State Verification; Regular
Model Checking for Programs with Dynamic Memory; Automatic
Verification of Security Properties Based on Abstractions;
Grand Challenge: Model Check Software; A Class of Automata
for Computing Reachability Relations in Timed Systems;
Practical Infinite-State Verification with Temporal
Reasoning; Quantum States and Quantum Measurements;
Automatic Test Generation and Monitoring of Infinite
States Systems; Cryptographic Primitives Can Be Fragile.
506 |3Use copy|fRestrictions unspecified|2star|5MiAaHDL
520 Provides information for researchers interested in the
development of mathematical techniques for the analysis of
infinite state systems. The papers come from a successful
workshop.
533 Electronic reproduction.|b[S.l.] :|cHathiTrust Digital
Library,|d2010.|5MiAaHDL
538 Master and use copy. Digital master created according to
Benchmark for Faithful Digital Reproductions of Monographs
and Serials, Version 1. Digital Library Federation,
December 2002.|uhttp://purl.oclc.org/DLF/benchrepro0212
|5MiAaHDL
583 1 digitized|c2010|hHathiTrust Digital Library|lcommitted to
preserve|2pda|5MiAaHDL
588 0 Print version record.
590 eBooks on EBSCOhost|bEBSCO eBook Subscription Academic
Collection - North America
650 0 System theory|0https://id.loc.gov/authorities/subjects/
sh85131743|xMathematical models|0https://id.loc.gov/
authorities/subjects/sh2002007921|vCongresses.|0https://
id.loc.gov/authorities/subjects/sh99001533
650 0 System theory|0https://id.loc.gov/authorities/subjects/
sh85131743|xSecurity measures|0https://id.loc.gov/
authorities/subjects/sh99005297|vCongresses.|0https://
id.loc.gov/authorities/subjects/sh99001533
650 0 Computer security|vCongresses.|0https://id.loc.gov/
authorities/subjects/sh2008101458
650 0 Computer software|xVerification|vCongresses.|0https://
id.loc.gov/authorities/subjects/sh2009121254
650 7 System theory|xMathematical models.|2fast|0https://
id.worldcat.org/fast/1141427
650 7 System theory.|2fast|0https://id.worldcat.org/fast/1141423
650 7 Security systems.|2fast|0https://id.worldcat.org/fast/
1110883
650 7 Computer security.|2fast|0https://id.worldcat.org/fast/
872484
650 7 Computer software|xVerification.|2fast|0https://
id.worldcat.org/fast/872604
653 1 Infinite-state systems
653 1 Security
653 1 VISSAS
655 4 Electronic books.
655 7 Conference papers and proceedings.|2lcgft|0https://
id.loc.gov/authorities/genreForms/gf2014026068
655 7 Conference papers and proceedings.|2fast|0https://
id.worldcat.org/fast/1423772
700 1 Clarke, Edmund M.,|cJr.|q(Edmund Melson),|d1945-2020.
|0https://id.loc.gov/authorities/names/n91023249
700 1 Minea, Marius.|0https://id.loc.gov/authorities/names/
nb2006011723
700 1 Ţiplea, Ferucio Laurenţiu.|0https://id.loc.gov/authorities
/names/nb2006011724
776 08 |iPrint version:|aNATO Advanced Research Workshop on
Verification of Infinite-state Systems with Applications
to Security (2005 Mar. 17-22 : Timaşoara, Romania).
|tVerification of infinite-state systems with applications
to security.|dAmsterdam ; Washington, D.C. : IOS Press,
©2006|z1586035703|w(DLC) 2005937272|w(OCoLC)65661588
830 0 NATO security through science series.|nD,|pInformation and
communication security ;|0https://id.loc.gov/authorities/
names/no2006064032|vvol. 1.
856 40 |uhttps://rider.idm.oclc.org/login?url=http://
search.ebscohost.com/login.aspx?direct=true&scope=site&
db=nlebk&AN=164059|zOnline eBook. Access restricted to
current Rider University students, faculty, and staff.
856 42 |3Instructions for reading/downloading this eBook|uhttp://
guides.rider.edu/ebooks/ebsco
901 MARCIVE 20231220
948 |d20160615|cEBSCO|tebscoebooksacademic|lridw
994 92|bRID
