Gerard J. Holzmann's Documents

Gerard J. 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
C*-Algebras and Operator Theory

C*-Algebras and Operator Theory
Read more
Finding Metaphor in Grammar and Usage: A Methodological Analysis of Theory and Research

Finding Metaphor in Grammar and Usage: A Methodological Analysis of Theory and Research
Read more
Seasonality and Agriculture in the Developing World: A Problem of the Poor and the Powerless

Seasonality and Agriculture in the Developing World: A Problem of the Poor and the Powerless
Read more
The French-Canadian heritage in New England

The French-Canadian heritage in New England
Read more
Conjugation Reactions In Drug Metabolism: An Integrated Approach

Conjugation Reactions In Drug Metabolism: An Integrated Approach
Read more
Finding Metaphor in Grammar and Usage: A Methodological Analysis of Theory and Research

Finding Metaphor in Grammar and Usage: A Methodological Analysis of Theory and Research
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
Equations Differentielles et Systemes de Pfaff dans le Champ Complexe

Equations Differentielles et Systemes de Pfaff dans le Champ Complexe
Read more
Structural-functional Studies in English Grammar: In honour of Lachlan Mackenzie (Studies in Language Companion Series, SLCS 83)

Structural-functional Studies in English Grammar: In honour of Lachlan Mackenzie (Studies in Language Companion Series, SLCS 83)
Read more
Equations differentielles et systemes de Pfaff dans le champ complexe II. Seminaire

Equations differentielles et systemes de Pfaff dans le champ complexe II. Seminaire
Read more
Principles of Human Anatomy 12th edition

Principles of Human Anatomy 12th edition
Read more
Equations differentielles et systemes de Pfaff dans le champ complexe II. Seminaire

Equations differentielles et systemes de Pfaff dans le champ complexe II. Seminaire
Read more
Quantum Optics

Quantum Optics
Read more
Quantum Optics

Quantum Optics
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