IMSc Library catalog › Details for: Temporal Verification of Reactive Systems Safety

Cover image

Normal view MARC view ISBD view

Temporal Verification of Reactive Systems Safety

By: Manna, Zohar | Pnueli, AmirMaterial type: Text

Text

TextPublication details: New York ; Springer ; 1995Description: 512pISBN: 0387944591Subject(s): Computer Software - Verification Parallel Processing

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681.3 MAN (Browse shelf (Opens below))		Available		42568

Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)

								Next
	681.3 MAH Sorting	681.3 MAK Sets logic and maths for computing	681.3 MAL Artificial intelligence and the future of power :	681.3 MAN Temporal Verification of Reactive Systems Safety	681.3 MAN Algorithmics of matching under preferences	681.3 MAR Computer vision,models and inspection	681.3 MAR Proceedings of the 27th international symposium on theoretical aspects of computer science	Next

There are no comments on this title.

to post a comment.

Previous

Back to results

Next

141 Intrinsic measures on complex manifolds and holomorphic mappings /
by Eisenman, Donald A.
142 Isometric embeddings of Riemannian and pseudo-Riemannian manifolds /
by Greene, Robert Everist,
143 Similarity of automorphisms of the torus /
by Adler, Roy L.,
144 Properties of planar graphs with uniform vertex and face structure /
by Malkevitch, Joseph.
145 Homotopy invariants in differential geometry /
by Nagano, Tadashi.
146 Decay of solutions of systems of nonlinear hyperbolic conservation laws /
by Glimm, James Gilbert,
147 Volterra integral equations and topological dynamics /
by Miller, Richard K.,
148 Unoriented bordism and actions of finite groups /
by Stong, Robert E.
149 Octonion planes defined by quadratic Jordan algebras /
by Faulkner, John R.
150 Compactly covered reflections, extension of uniform dualities and generalized almost periodicity /
by Powell, Michael H.
151 Equivariant maps of spheres into the classical groups,
by Folkman, Jon.
152 Numbers with small prime factors, and the least kth power non-residue /
by Norton, Karl K.
153 Cellular decompositions of 3-manifolds that yield 3-manifolds /
by Armentrout, Steve.
154 Fourier analysis on matrix space /
by Gelbart, Stephen S.,
155 Asymptotic behavior of solutions and adjunction fields for nonlinear first order differential equations /
by Strodt, Walter Charles,
156 Abelian subalgebras of von Neumann algebras /
by Bures, Donald.
157 Multipliers, positive functionals, positive-definite functions, and Fourier-Stieltjes transforms /
by McKennon, Kelly.
158 On the mixed problem for a hyperbolic equation.
by Ba�aban, Tadeusz.
159 Invariant differential operators and the cohomology of Lie algebra sheaves,
by Kamber, Franz W.
160 Mixing sequences of random variables and probabilistic number theory.
by Philipp, Walter,

Close

Print
Suggest for purchase
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Share

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha