Zohar Manna

Matematická teorie programů

€ 5,49

Op voorraad 4 stuks

Zohar Manna Matematická teorie programů

4,3

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

Uitverkocht

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

4,4

The Calculus of Computation

Aaron R. Bradley

Uitverkocht

Aaron R. Bradley The Calculus of Computation

4,3

The Temporal Logic of Reactive and Concurrent Systems

Uitverkocht

Zohar Manna The Temporal Logic of Reactive and Concurrent Systems

4,3

Time for verification

Uitverkocht

Zohar Manna Time for verification

3,9

Mathematical Theory of Computation

Uitverkocht

Zohar Manna Mathematical Theory of Computation

3,8

Temporal verification of reactive systems

Uitverkocht

Zohar Manna Temporal verification of reactive systems

4,4