Jump to main content

図書

VERIFICATION OF SECURE DISTRIBUTED SYSTEMS IN HIGHER ORDER LOGIC: A MODULAR APPROACH USING GENERIC COMPONENTS (UCRL ; UCRL-JC-105791)

Icons representing 図書

VERIFICATION OF SECURE DISTRIBUTED SYSTEMS IN HIGHER ORDER LOGIC: A MODULAR APPROACH USING GENERIC COMPONENTS

(UCRL ; UCRL-JC-105791)

Material type
図書
Author
ALVES-FOSS, J.// LEVITT, K. (LAWRENCE LIVERMORE NATIONAL LAB., CA (USA))
Publisher
University of California Research Laboratory(University of California Research Laboratory)
Publication date
1991.
Material Format
Paper
Capacity, size, etc.
27
NDC
-
View All

Search by Bookstore

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title
VERIFICATION OF SECURE DISTRIBUTED SYSTEMS IN HIGHER ORDER LOGIC: A MODULAR APPROACH USING GENERIC COMPONENTS
Author/Editor
ALVES-FOSS, J.// LEVITT, K. (LAWRENCE LIVERMORE NATIONAL LAB., CA (USA))
Series Title
UCRL ; UCRL-JC-105791
Author Heading
ALVES-FOSS, J.
LEVITT, K.
Publication, Distribution, etc.
University of California Research Laboratory(University of California Research Laboratory)
Publication Date
1991.
Publication Date (W3CDTF)
1991
Extent
27
Place of Publication (Country Code)
us