Yazar

Zohar Manna

20 cilt bulundu.

Cilt sonuçları

Verification: Theory and Practice

Zohar Manna · Springer Science & Business Media

281 sayfa · 2003

Computers

Practical Materia Medica of the Medieval Eastern Mediterranean According to the Cairo Genizah

Efrayim Lev, Zohar ʿAmar · BRILL

664 sayfa · 2008

Science

The Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli · Springer Science & Business Media

447 sayfa · 1992

Computers

Lectures on the Logic of Computer Programming

Zohar Manna · SIAM

51 sayfa · 1980-01-01

Computers

Deductive Synthesis of Concurrent Construction Plans

Stanford University. Center for Integrated Facility Engineering · Yayınevi bilinmiyor

38 sayfa · 1992

Kategori yok

The Logical Basis for Computer Programming: Deductive reasoning

Zohar Manna, Richard Waldinger · Addison-Wesley Professional

642 sayfa · 1985

Computers

Studies in Automatic Programming Logic

Zohar Manna, Richard Waldinger · North Holland

208 sayfa · 1977

Computers

Temporal Verification of Reactive Systems

Zohar Manna, Amir Pnueli · Springer Science & Business Media

525 sayfa · 2012-12-06

Computers

The Calculus of Computation

Aaron R. Bradley, Zohar Manna · Springer Science & Business Media

375 sayfa · 2007-09-18

Computers

Time for Verification

Zohar Manna, Doron A. Peled · Springer

408 sayfa · 2010-06-30

Computers

Mathematical Theory of Computation

Zohar Manna · McGraw-Hill Companies

472 sayfa · 1974

Language Arts & Disciplines

The Logical Basis for Computer Programming: Deductive systems

Zohar Manna, Richard Waldinger · Yayınevi bilinmiyor

664 sayfa · 1990

Computer programming

Computer programmingThe Temporal Logic of Reactive and Concurrent Systems: SpecificationZohar Manna, A. Pnueli

The Temporal Logic of Reactive and Concurrent Systems: Specification

Zohar Manna, A. Pnueli · Yayınevi bilinmiyor

427 sayfa · 1992-01

Computer programming

Real-time data processingContinuous Verification by Discrete ReasoningLuca De Alfaro, Stanford University. Computer Science Department, Zohar Manna

Continuous Verification by Discrete Reasoning

Luca De Alfaro, Stanford University. Computer Science Department, Zohar Manna · Yayınevi bilinmiyor

25 sayfa · 1994

Real-time data processing

Automatic theorem provingFundamentals of Deductive Program SynthesisZohar Manna, Richard Waldinger

Fundamentals of Deductive Program Synthesis

Zohar Manna, Richard Waldinger · Yayınevi bilinmiyor

62 sayfa · 1992

Automatic theorem proving

Computer programmingThe Deductive Foundations of Computer ProgrammingBilinmeyen yazar

The Deductive Foundations of Computer Programming

Bilinmeyen yazar · Yayınevi bilinmiyor

678 sayfa · 1991*

Computer programming

CiltTABLOGYonathan Malachi, Zohar Manna, Richard Waldinger

TABLOG

Yonathan Malachi, Zohar Manna, Richard Waldinger · Yayınevi bilinmiyor

25 sayfa · 1985

Kategori yok

Computable functionsIntroduction to Mathematical Theory of ComputationZohar Manna

Introduction to Mathematical Theory of Computation

Zohar Manna · Yayınevi bilinmiyor

248 sayfa · 1972

Computable functions

Computer programmingClocked Transition SystemsZohar Manna, Stanford University. Computer Science Department, Amir Pnueli

Clocked Transition Systems

Zohar Manna, Stanford University. Computer Science Department, Amir Pnueli · Yayınevi bilinmiyor

39 sayfa · 1996

Computer programming

AlgorithmsTermination of AlgorithmsZohar Manna

Termination of Algorithms

Zohar Manna · Yayınevi bilinmiyor

198 sayfa · 1968

Algorithms