Pnueli A.'s Documents

Pnueli A.'s Documents

Temporal verification of reactive systems: progress

Temporal verification of reactive systems: progress
Read more
The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification
Read more
Meccanica dei fluidi

Meccanica dei fluidi
Read more
Meccanica dei fluidi

Meccanica dei fluidi
Read more
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Read more
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues)

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues)
Read more
Французский язык с Альбером Камю

Французский язык с Альбером Камю
Read more
Candide 7

Candide 7
Read more
Resource Guide for Adolescent Literacy

Resource Guide for Adolescent Literacy
Read more
A Cauchy-Type Problem for the Diffusion-Wave Equation with Riemann-Liouville Partial Derivative

A Cauchy-Type Problem for the Diffusion-Wave Equation with Riemann-Liouville Partial Derivative
Read more
Computational Methods in Multiphase Flow V (WIT Transactions on the Engineering Sciences) (Wit Transactions on Engineering Sciences)

Computational Methods in Multiphase Flow V (WIT Transactions on the Engineering Sciences) (Wit Transactions on Engineering Sciences)
Read more
Metascience and Politics: An Inquiry into the Conceptual Language of Political Science

Metascience and Politics: An Inquiry into the Conceptual Language of Political Science
Read more
Nonlinear analysis and semilinear elliptic problems

Nonlinear analysis and semilinear elliptic problems
Read more
When We Were Very Young

When We Were Very Young
Read more
Diamond Eyes

Diamond Eyes
Read more
The Laws of Elastico-Viscous Flow II

The Laws of Elastico-Viscous Flow II
Read more
Point Sets and Cremona Groups Part 3

Point Sets and Cremona Groups Part 3
Read more
In Other Worlds

In Other Worlds
Read more
Next generation photovoltaics

Next generation photovoltaics
Read more
Winnie Ille Pu (Latin Edition)

Winnie Ille Pu (Latin Edition)
Read more
Foundations of Probability and Physics: Proceedings of the Conference

Foundations of Probability and Physics: Proceedings of the Conference
Read more
A_A_Milne_-_The_House_at_Pooh_Corner

A_A_Milne_-_The_House_at_Pooh_Corner
Read more
Winnie the Pooh

Winnie the Pooh
Read more
Wahrscheinlichkeitsrechnung (German Edition)

Wahrscheinlichkeitsrechnung (German Edition)
Read more
The Fourth Janko Group (Oxford Mathematical Monographs)

The Fourth Janko Group (Oxford Mathematical Monographs)
Read more
The Composition of the Interior of the Earth

The Composition of the Interior of the Earth
Read more
Teach Yourself Logic

Teach Yourself Logic
Read more
Blueprint Reading: Construction Drawings for the Building Trades

Blueprint Reading: Construction Drawings for the Building Trades
Read more
History Of The Byzantine Empire

History Of The Byzantine Empire
Read more
Winnie-the-Pooh (US)

Winnie-the-Pooh (US)
Read more