Sold Out
Book Categories |
Logics and automata for software model-checking | 1 | |
Specifying, relating and composing object oriented interfaces, components and architectures | 22 | |
Using invariants to reason about cryptographic protocols | 73 | |
Verified interoperable implementations of security protocols | 87 | |
Compensable transactions | 116 | |
Automata on infinite words and their applications in formal verification | 135 | |
Practical principles for computer security | 151 | |
Engineering requirements for system reliability and security | 196 | |
Pervasive verification of distributed real-time systems | 239 | |
Verification and synthesis of reactive programs | 298 | |
Security, privacy, usability and reliability (SPUR) in mobile networked embedded systems : the case of modern automobiles | 341 | |
A verifying compiler for a multi-threaded object-oriented language | 351 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionSoftware Systems Reliability and Security
X
This Item is in Your InventorySoftware Systems Reliability and Security
X
You must be logged in to review the productsX
X
X
Add Software Systems Reliability and Security, The foundations of software technology provide models that enable us to capture application domains and their requirements, but also to understand the structure and working of software systems, software architectures and programs. New developments must pa, Software Systems Reliability and Security to the inventory that you are selling on WonderClubX
X
Add Software Systems Reliability and Security, The foundations of software technology provide models that enable us to capture application domains and their requirements, but also to understand the structure and working of software systems, software architectures and programs. New developments must pa, Software Systems Reliability and Security to your collection on WonderClub |