sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000081637740 | 1 hits
Person
ISNI: 
0000 0000 8163 7740
Name: 
Manna, Z.
Manna, Zohar
Mannāʿ, Zuhar
Zohar Manna
Zohar Manna (American computer scientist)
Zohar Manna (Amerikaans hoogleraar)
Zohar Manna (amerikansk ingeniør)
Zohar Manna (amerikansk ingenjör)
Zohar Manna (informaticien américain)
Zohar Manna (israelisch-US-amerikanischer Informatiker)
Зохар Манна
זוהר מנה
マンナ, ゾーハ
Dates: 
1939-
Creation class: 
Computer file
Language material
Text
txt
Creation role: 
author
Related names: 
Bradley, Aaron R.
Cranegie-Mellon University
Dershowitz, N.
Dershowitz, Nachum
Katz, Shmuel
Levitt, Karl
Moszkowski, Ben
Pnueli, Amir
Pnueli, Amir (1941-2009)
Shamir, Adi
Society for industrial and applied mathematics ( Philadelphia, Pa)
Waldinger, Richard
Waldinger, Richard J.
五十嵐, 滋 (1937-)
Titles: 
Adequate proof principles for invariance and liveness properties of concurrent programs.
Axiomatic approach to total correctness of programs
Calculus of computation decision procedures with applications to verification
Constructing invariants for hybrid systems
Currents in the theory of computing
Decomposing, transforming and composing diagrams: The joys of modular verification.
Deductive reasoning
Deductive verification of alternating systems
Deductive verification of real-time systems using STeP
Efficient distributed deadlock avoidance with liveness guarantees
Formalization of Properties of Functional Programs
From timed to hybrid systems
Fundamentals of deductive program synthesis
hardware semantics based on temporal intervals, A
How to cook a temporal proof system for your pet language
interleaving model for real time, 1990:, An
Introduction to mathematical ... 1974.
logical basis for computer programming, The
Matematická teorie programů
Mathematical theory of computation.
new approach to recursive programs, A
Non-linear loop invariant generation using Grobner bases
Proving precedence properties: The temporal way.
Puroguramu no riron
safety-progress classification, The
STeP, the Stanford Temporal Prover
Studies in automatic programming logic
Synchronous schemes and their decision problems
temporal logic of branching time, The
temporal logic of reactive and concurrent systems. - New York, 1992., The
Temporal proof methodologies for real-time systems
temporal proof methodology for reactive systems, A
Temporal verification of reactive systems : safety
Termination of algorithms
theoretical aspects of the optimal fixedpoint, The
Time for Verification Essays in Memory of Amir Pnueli
Verification of concurrent programs: A temporal proof system
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
Verifying temporal properties of reactive systems: a STeP tutorial
プログラムの理論
Notes: 
Thesis (Ph. D.)--Cranegie-Mellon University
Sources: 
VIAF LC LNB NDL NKC NUKAT SUDOC WKD
BOWKER
NTA