Dependable Software Systems Engineering

Saved in:
Bibliographic Details
Main Authors Esparza, J, Grumberg, O, Sickert, S
Format eBook
LanguageEnglish
Published London Sage Publications Ltd 2016
Edition1
Subjects
Computer networks-Security measures-Congresses
Computer security-Congresses
Software engineering-Congresses
Online AccessGet full text
ISBN9781614996262
1614996261

Cover

Author Esparza, J
Grumberg, O
Sickert, S
Author_xml – sequence: 1
  fullname: Esparza, J
– sequence: 2
  fullname: Grumberg, O
– sequence: 3
  fullname: Sickert, S
BookMark eNo1jMtOwzAQAI14iLbkH3rrKVLW68f6CCE8pEocQIhbZSfrKiI4JQ5C_D1IwGlmLrMUJ2lMfCSWYEA5Z6R9ORaFs_TfRp6JhdMgJRCpc1Hk3IdKWk0KSS7E5poPnDofBl4_jnH-9NOPfOWZ3_K6Sfs-MU992l-I0-iHzMUfV-L5pnmq78rtw-19fbktPRJpKKWtvPbswHpLAavKtBZ0i6woQnQBXWCIEaOxXnUuAkpqEdgY7BwGiSux-R0fpvH9g_O84zCOry2nefLDrrmqlZbktMZvqVBEXw
ContentType eBook
DEWEY 005.8
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 161499627X
9781614996279
Edition 1
ExternalDocumentID EBC4528955
GroupedDBID -VX
20A
AABBV
ABARN
ABIAV
ABQPQ
ACLGV
ADVEM
AERYV
AFOJC
AHWGJ
AJFER
ALMA_UNASSIGNED_HOLDINGS
AZZ
BBABE
CZZ
DUGUG
EBSCA
ECOWB
GEOUK
MYL
PQQKQ
XI1
ID FETCH-LOGICAL-a38851-270a5ae917a78b3006c715c3e48f1f9b39be1ff3f67a4d9f1328c31e663d93b23
ISBN 9781614996262
1614996261
IngestDate Wed Oct 29 00:33:41 EDT 2025
IsPeerReviewed false
IsScholarly false
LCCallNum_Ident QA76.9.A25 .D474 2016
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-a38851-270a5ae917a78b3006c715c3e48f1f9b39be1ff3f67a4d9f1328c31e663d93b23
OCLC 951221884
PQID EBC4528955
PageCount 296
ParticipantIDs proquest_ebookcentral_EBC4528955
PublicationCentury 2000
PublicationDate 2016
PublicationDateYYYYMMDD 2016-01-01
PublicationDate_xml – year: 2016
  text: 2016
PublicationDecade 2010
PublicationPlace London
PublicationPlace_xml – name: London
PublicationYear 2016
Publisher Sage Publications Ltd
Publisher_xml – name: Sage Publications Ltd
SSID ssib027584382
ssj0001934793
Score 1.9757055
SourceID proquest
SourceType Publisher
SubjectTerms Computer networks-Security measures-Congresses
Computer security-Congresses
Software engineering-Congresses
TableOfContents Title Page -- Preface -- Contents -- Probabilistic Model Checking -- SMT Solvers: Foundations and Applications -- Formal Models for Analyzing Security Protocols: Some Lecture Notes -- Parameterized Verification of Crowds of Anonymous Processes -- Synthesis of Reactive Systems -- Between Testing and Verification: Dynamic Software Model Checking -- Learning-Based Compositional Model Checking of Behavioral UML Systems -- Programming by Examples (and Its Applications in Data Wrangling) -- Verification of Concurrent Software -- A Tutorial on Mean-Payoff and Energy Games -- Equivalence - Combinatorics, Algebra, Proofs -- Analysis and Synthesis with "Big Code -- Subject Index -- Author Index
Title Dependable Software Systems Engineering
URI https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=4528955
Volume 45
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwMxEA62vXjyjW_2IHqKNJvNbnK1VougHlqlt5JkE_BStVSE_non2eyjVRC9hN2w7GOGncxM5psPoTNuU0El0ThlhOOEGIalybvYUK6ESYmkngzm_iEdPCV3YzauqR89umSuLvXiR1zJf7QKc6BXh5L9g2arm8IEHIN-YQQNw7ji_FanhXKvPXWtRz0NwY5-uvKt0Hu82WGwcpfBbMwWcmkX6HbmuUD8n_5Y5VleKhDPsJkPIKv5gGapT1FLV5cHFUEj-HgQ5kAgs2QFi6aOK72n-1e9hEFIxtj52zt2VF1uSzvwlrRQK8vAqHRgAe1XKZIYAhC3uVgnuoQHqzpQXflgEnptVS_ybSH0q_toE3WMg3xsoTUz3UYbJdFFFOzeDrqo5R2V8o6CvKOGvHfR801_1BvgwDCBJeXgazo0nmTSQMwqM64omCCdEaapSbglVigqlCHWUptmMsmFhdida0oM-Gm5oCqme6g9fZ2afRRpLSQnNiZa8SSPqTBGgXcpM0Oybs75AYrKb5z4jfBQfTuphXz4-yVHaL1W-jFqz2cf5gTcork6DYr4AiqjDYY
linkProvider ProQuest Ebooks
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Dependable+Software+Systems+Engineering&rft.au=Esparza%2C+J&rft.au=Grumberg%2C+O&rft.au=Sickert%2C+S&rft.date=2016-01-01&rft.pub=Sage+Publications+Ltd&rft.isbn=9781614996262&rft.volume=45&rft.externalDocID=EBC4528955
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781614996262/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781614996262/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781614996262/sc.gif&client=summon&freeimage=true