Home
Add
Open Access Books
Get on Google Play
Click here to donate your five minutes and submit the table of contents of a book.
Search from the table of contents of 2.5 million books
Every Word
Any Word
Exact Word
Exact Phrase
Criteria
Table of Contents
Chapter Authors
──────────
Books
Book Authors
Publisher
Publishing Date
──────────
Thesis
Thesis Authors
Field
Search
Search I can Access
Query minimum length 2 and maximum length 100
Advanced Search (Beta)
Home
> Z. Manna
"Z. Manna" appeared in Books and Chapters
Books
Chapters
10
20
30
50
100
200
500
entries per page
Filter:
Showing 0 to 0 of 0 entries
Book
Author(s)
Year
Publisher
No data available in table
Boook
Author(s)
Year
Publisher
Showing 0 to 0 of 0 entries
«
‹
›
»
10
20
30
50
100
200
500
entries per page
Filter:
Showing 1 to 8 of 8 entries
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Mathematical theory of partial correctness
Z. Manna
Symposium on semantics of algorithmic languages /
Engeler, Erwin,
1971.
Springer-Verlag,
Visual Verification of Temporal Properties
Z. Manna
TIME-99: Sixth International Workshop on Temporal Representation and Reasoning: proceedings: Orlando, Florida, May 1-2, 1999 /
Dixon, Clare.
;
Fisher, Michael A.
[1999], ©1999.
IEEE Computer Society Press,
Towards automatic program synthesis
Z. Manna and R.J. Waldinger
Symposium on semantics of algorithmic languages /
Engeler, Erwin,
1971.
Springer-Verlag,
Generalized temporal verification diagrams
I. A. Browne
;
Z. Manna
;
H. B. Sipma
Foundations of Software Technology and Theoretical Computer Science: 15th Conference; Bangalore, India, December 1995. Proceedings
P.S. Thiagarajan
1995
Springer Berlin Heidelberg
A decision algorithm for full propositional temporal logic
Y. Kesten
;
Z. Manna
;
H. McGuire
;
A. Pnueli
Computer Aided Verification: 5th International Conference, CAV' 93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
Costas Courcoubetis
1993
Springer Berlin Heidelberg
Hierarchical verification using verification diagrams
I. A. Browne
;
Z. Manna
;
H. B. Sipma
Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN ' 96, Singapore, December 2 - 5, 1996, Proceedings
Joxan Jaffar
;
Roland H.C. Yap
1996
Springer Berlin Heidelberg
From Continuous Renal Replacement Therapies to Multiple Organ Support Therapy
Ricci Z.· Romagnoli S.· Ronco C.· La Manna G.
40 Years of Continuous Renal Replacement Therapy
R. Bellomo
;
J.A. Kellum
;
G. La Manna
;
C. Ronco
2018-03-29
S. Karger AG
Development of the New Kibou® Equipment for Continuous Renal Replacement Therapy from Scratch to the Final Configuration
Neri M.· Lorenzin A.· Brendolan A.· Garzotto F.· Ferrari F.· De Rosa S.· Bonato R.· Villa G.· Bazzano S.· D''Ippoliti F.· Ricci Z.· La Manna G.· Ronco C.
Current Perspectives in Kidney Diseases
G. La Manna
;
C. Ronco
2017-05-23
S. Karger AG
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Showing 1 to 8 of 8 entries
«
‹
1
›
»