登入選單
Google圖書搜尋
Formal Verification of an Oral Messages Algorithm ...
作者
John Rushby / SRI International. Computer Science Laboratory
出版1992
ISBN
NASA:31769000690159
主題
Algorithms
CAT, a System for the Structured Elaboration of Co...
作者
SRI International. Computer Systems Laboratory / J. A. Goguen / R. M. Burstall
出版1980
ISBN
OCLC:475992541
Mechanized Formal Verification - Seven Papers
作者
SRI International. Computer Science Laboratory / David Cyrluk / Patrick Lincoln / Sam Owre / Pallath Narendran / Sreeranga Ragan / John Rushby / Natarajan Shankar / Jens Ulrick Skakkebaek / Mandayam Srivas / Friedrich von Henke
出版1995
ISBN
OCLC:34274221
主題
Electronic digital computers
Next-generation Intrusion Detection Expert System ...
作者
SRI International. Computer Science Laboratory / Debra Anderson / Thane Frivold / Alfonso Valdes
出版1995
ISBN
OCLC:34274223
主題
Software protection
GLU Programmer's Guide: Version 0.9
作者
SRI International. Computer Science Laboratory / R. Jagannathan / Chris Dodd
出版1994
ISBN
OCLC:34483758
主題
GLU (Computer programming language)
Linear Logic and Proof Theory: Three Papers
作者
SRI International. Computer Science Laboratory / Patrick Lincoln / Andre Scedrov / Natarajan Shankar / Timothy Winkler
出版1993
ISBN
OCLC:31321295
主題
Proof theory
Adaptive Fault Tolerance: Two Papers
作者
SRI International. Computer Science Laboratory / Li Gong / Jack Goldberg / Ira Ben Greenberg / Thomas F. Lawrence
出版1994
ISBN
OCLC:34483741
主題
Algorithms
Secure Distributed Data Views. Vol. 2: the SeaView...
作者
SRI International. Computer Science Laboratory / T. F. Lunt / D. E. Denning / R. R. Schell / M. Heckman / W. R. Shockley
出版1989
ISBN
OCLC:83906465
Survey of Object-oriented Analysis/design Methodol...
作者
SRI International. Computer Science Laboratory / D. Hsieh
出版1992
ISBN
OCLC:30699269
主題
Object-oriented programming (Computer science)
Detecting Unusual Program Behavior Using the Stati...
作者
SRI International. Computer Science Laboratory / Debra Anderson / Teresa F. Lunt / Harold Javitz / Ann Tamaru / Alfonso Valdes
出版1995
ISBN
OCLC:34274204
主題
Software protection
Multiparadigm Logic Programming
作者
SRI International. Computer Science Laboratory / J. Meseguer
出版1992
ISBN
OCLC:30699254
主題
Logic programming
A Real-time Intrusion-detection Expert System (IDE...
作者
SRI International. Computer Science Laboratory / T. F. Lunt / A. Tamaru / F. Gillham / R. Jagannathan / C. Jalali / P. G. Neumann
出版1992
ISBN
OCLC:30699267
主題
Computer security
Elements of Trusted Multicasting
作者
SRI International. Computer Science Laboratory / Li Gong / Nachum Shacham
出版1994
ISBN
OCLC:34483748
主題
Computer security
Introducing OBJ.
作者
SRI International. Computer Science Laboratory / Joseph A. Goguen / T. Winkler / J. Meseguer / K. Futatsugi / J.-P. Jouannaud
出版1992
ISBN
OCLC:30699252
主題
Object-oriented programming (Computer science)
A Logical Semantics for Object-oriented Databases
作者
SRI International. Computer Science Laboratory / J. Meseguer / X. Qian
出版1992
ISBN
OCLC:31360559
主題
Object-oriented databases
Glu: a Hybrid Language for Parallel Applications P...
作者
R. Jagannathan / A. A. Faustini
出版1992
ISBN
OCLC:897901253
A Policy Framework for Multilevel Relational Datab...
作者
SRI International. Computer Science Laboratory / Xiaolei Qian / Teresa F. Lunt
出版1994
ISBN
OCLC:34274226
主題
Computer security
A Formal Approach to Correct Refinement of Softwar...
作者
SRI International. Computer Science Laboratory / Mark Moriconi / Xiaolei Qian / R. A. Riemenschneider
出版1994
ISBN
OCLC:34483751
主題
Computer architecture
Formal Methods and Their Role in the Certification...
作者
SRI International. Computer Science Laboratory / John Rushby
出版1995
ISBN
OCLC:34274215
主題
Electronic digital computers
Using Rewriting Logic to Specify, Program, Integra...
作者
SRI International. Computer Science Laboratory / J. Meseguer / K. Futatsugi / T. Winkler
出版1992
ISBN
OCLC:30699271
主題
Concurrent programming
Specification, Transformation, and Programming of ...
作者
SRI International. Computer Science Laboratory / Patrick Lincoln / Narciso Marti-Oliet / Jose Meseguer
出版1994
ISBN
OCLC:123338698
主題
Logic, Symbolic and mathematical
Transformations in High Level Synthesis: Formal Sp...
作者
SRI International. Computer Science Laboratory / P. Sreeranga Rajan
出版1994
ISBN
OCLC:34483765
主題
Computer hardware description languages
Solving the Inheritance Anomaly in Concurrent Obje...
作者
SRI International. Computer Science Laboratory / J. Meseguer
出版1992
ISBN
OCLC:31360538
主題
Object-oriented programming (Computer science)
Mechanized Verification of Real-time Systems Using...
作者
SRI International. Computer Science Laboratory / Natarajan Shankar
出版1992
ISBN
OCLC:31360529
主題
Real-time data processing
A Logical Theory of Concurrent Objects and Its Rea...
作者
J. Meseguer / SRI International. Computer Science Laboratory
出版1993
ISBN
OCLC:31360526
主題
Object-oriented programming (Computer science)
Formal Verification of a Commercial Microprocessor
作者
SRI International. Computer Science Laboratory / Mandayam K. Srivas / Steven P. Miller
出版1995
ISBN
OCLC:34274218
主題
Automatic theorem proving
Adaptive Fault-resistant Systems
作者
SRI International. Computer Science Laboratory / Jack Goldberg / Ira Greenberg / Li Gong / Raymond Clark / E. Douglas Jensen / Kane H. Kim / Douglas M. Wells
出版1995
ISBN
OCLC:227818742
主題
Fault-tolerant computing
Fail-stop Protocols: an Approach to Designing Secu...
作者
SRI International. Computer Science Laboratory / Li Gong / X. Qian
出版1994
ISBN
OCLC:34274214
主題
Computer network protocols
Efficient Network Authentication Protocols: Lower ...
作者
SRI International. Computer Science Laboratory / Li Gong
出版1994
ISBN
OCLC:34274206
主題
Computer network protocols
Action and Change in Rewriting Logic
作者
SRI International. Computer Science Laboratory / Narciso Martí-Oliet / José Meseguer
出版1994
ISBN
OCLC:34483739
主題
Computer programming