•
1 1

Programmverifikation by Krzysztof R Apt

Checking stock...
Checking stock...

Part of Springer-Lehrbuch series

Proud to be B-Corp

Our business meets the highest standards of verified social and environmental performance, public transparency and legal accountability to balance profit and purpose. In short, we care about people and the planet.

The feel-good place to buy books
  • Free delivery in Australia
  • Supporting authors with AuthorSHARE
  • 100% recyclable packaging
  • Proud to be a B Corp – A Business for good

Programmverifikation by Krzysztof R Apt

Part I: In the Beginning Introduction Preliminaries Part II: Deterministic Programs while Programs Recursive Programs Recursive Programs with Parameters Object-Oriented Programs Part III: Parallel Programs Disjoint Parallel Programs Parallel Programs with Shared Variables Parallel Programs with Synchronization Part IV: Nondeterministic and Distributed Programs Nondeterministic Programs Distributed Programs Fairness

You might also like

More books in the Springer-Lehrbuch series
View all

More by Krzysztof R Apt
View all
SKU Unavailable
ISBN 13 9783540574798
ISBN 10 3540574794
Title Programmverifikation
Author Krzysztof R Apt
Series Springer-Lehrbuch
Condition Unavailable
Binding Type Paperback
Publisher Springer
Year published 1994-03-21
Number of pages 258
Cover note Book picture is for illustrative purposes only, actual binding, cover or edition may vary.