Zohar Manna

Matematická teorie programů

7,49 €

Dernier exemplaire

Zohar Manna Matematická teorie programů

The Logical Basis for Computer Programming. Vol. 2, Deductive Systems

Épuisé

Zohar Manna The Logical Basis for Computer Programming. Vol. 2, Deductive Systems

4,5

Mathematical Theory of Computation

Épuisé

Zohar Manna Mathematical Theory of Computation

3,7

Time for verification

Épuisé

Zohar Manna Time for verification

3,0

The Calculus of Computation

Aaron R. Bradley

Épuisé

Aaron R. Bradley The Calculus of Computation

The Temporal Logic of Reactive and Concurrent Systems

Épuisé

Zohar Manna The Temporal Logic of Reactive and Concurrent Systems

Temporal verification of reactive systems

Épuisé

Zohar Manna Temporal verification of reactive systems

4,5