Gerard Holzmann's Documents

Gerard Holzmann's Documents

Design and Validation of Computer Protocols (Prentice Hall Software Series)

Design and Validation of Computer Protocols (Prentice Hall Software Series)
Read more
The SPIN Model Checker: Primer and Reference Manual

The SPIN Model Checker: Primer and Reference Manual
Read more
Design And Validation Of Computer Protocols

Design And Validation Of Computer Protocols
Read more
Social Protection & Labor at the World Bank, 2000-2008

Social Protection & Labor at the World Bank, 2000-2008
Read more
Spatial awareness of autonomous embedded systems

Spatial awareness of autonomous embedded systems
Read more
Adaptive Cooperation between Driver and Assistant System: Improving Road Safety

Adaptive Cooperation between Driver and Assistant System: Improving Road Safety
Read more
Pension Reform in Europe: Process and Progress (Directions in Development)

Pension Reform in Europe: Process and Progress (Directions in Development)
Read more
New Ideas about Old Age Security: Toward Sustainable Pension Systems in the 21st Century

New Ideas about Old Age Security: Toward Sustainable Pension Systems in the 21st Century
Read more
Adequacy of Retirement Income after Pension Reforms in Central, Eastern and Southern Europe: Eight Country Studies (Directions in Development; Finance)

Adequacy of Retirement Income after Pension Reforms in Central, Eastern and Southern Europe: Eight Country Studies (Directions in Development; Finance)
Read more
Naturliche und pflanzliche Baustoffe: Rohstoff - Bauphysik - Konstruktion

Naturliche und pflanzliche Baustoffe: Rohstoff - Bauphysik - Konstruktion
Read more
Generalized Lorenz-Mie Theories

Generalized Lorenz-Mie Theories
Read more
New Ideas About Old Age Security: Toward Sustainable Pension Systems in the 21st Century

New Ideas About Old Age Security: Toward Sustainable Pension Systems in the 21st Century
Read more
New Ideas About Old Age Security: Toward Sustainable Pension Systems in the 21st Century

New Ideas About Old Age Security: Toward Sustainable Pension Systems in the 21st Century
Read more
Wilfred Bion: His Life and Works 1897-1979

Wilfred Bion: His Life and Works 1897-1979
Read more
Issues in Heritage, Museums and Galleries: An Introductory Reader

Issues in Heritage, Museums and Galleries: An Introductory Reader
Read more
Povestiri de parca ar fi

Povestiri de parca ar fi
Read more
The Bride Wore Blue

The Bride Wore Blue
Read more
The Bride Wore Blue

The Bride Wore Blue
Read more
Under The Wire

Under The Wire
Read more
Kruisiging

Kruisiging
Read more
Discourse and context: an interdisciplinary study of John Henry Newman

Discourse and context: an interdisciplinary study of John Henry Newman
Read more
Under The Wire

Under The Wire
Read more
De Geschifte Professor

De Geschifte Professor
Read more
Ik Zal Kijken Wat Ik Voor Je Kan Doen

Ik Zal Kijken Wat Ik Voor Je Kan Doen
Read more
Black-Tie Seduction

Black-Tie Seduction
Read more
Celibaat

Celibaat
Read more
De Geschifte Professor

De Geschifte Professor
Read more
Between Midnight and Morning

Between Midnight and Morning
Read more
Fireproof

Fireproof
Read more
De Avonden

De Avonden
Read more