Willem-Paul de Roever's Documents

Willem-Paul de Roever's Documents

Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science (No. 47))

Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science (No. 47))
Read more
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd
Read more
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)
Read more
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007, Revised Lectures
Read more
Programming and Software Engineering)

Programming and Software Engineering)
Read more
Biogeography, Time and Place: Distributions, Barriers and Islands

Biogeography, Time and Place: Distributions, Barriers and Islands
Read more
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Read more
Witchcraft continued: popular magic in modern Europe

Witchcraft continued: popular magic in modern Europe
Read more
Beyond the witch trials: witchcraft and magic in Enlightenment Europe

Beyond the witch trials: witchcraft and magic in Enlightenment Europe
Read more
Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990

Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990
Read more
Language Testing: The Social Dimension

Language Testing: The Social Dimension
Read more
Lijmen Het Been

Lijmen Het Been
Read more
Kort verhaal van eene aanmerkelijke luchtreis en planeetontdekking', 1813

Kort verhaal van eene aanmerkelijke luchtreis en planeetontdekking', 1813
Read more
De reis van de douanier naar Bentheim

De reis van de douanier naar Bentheim
Read more
Van Vijf Moderne Dichters

Van Vijf Moderne Dichters
Read more
De Ondergang Der Eerste Wereld

De Ondergang Der Eerste Wereld
Read more
De WIJ-Economie

De WIJ-Economie
Read more
Managen van transities: Over de menselijke kant van organisatieveranderingen

Managen van transities: Over de menselijke kant van organisatieveranderingen
Read more
Studien zur Markussäule, I

Studien zur Markussäule, I
Read more
Marketing Revealed: Challenging the Myths

Marketing Revealed: Challenging the Myths
Read more
Kort verhaal van eene aanmerkelijke luchtreis en planeetontdekking', 1813

Kort verhaal van eene aanmerkelijke luchtreis en planeetontdekking', 1813
Read more
Social Cognition in Adolescence: Its developmental significance

Social Cognition in Adolescence: Its developmental significance
Read more
Lijmen Het Been

Lijmen Het Been
Read more
Een Ontgoocheling & Het Dwaallicht

Een Ontgoocheling & Het Dwaallicht
Read more
Met Bonzend Hart

Met Bonzend Hart
Read more
Databases in Telecommunications: International Workshop, Co-located with VLDB-99 Edinburgh, Scotland, UK, September 6th, 1999, Proceedings

Databases in Telecommunications: International Workshop, Co-located with VLDB-99 Edinburgh, Scotland, UK, September 6th, 1999, Proceedings
Read more
Human Rights as Social Representations (International Series in Social Psychology)

Human Rights as Social Representations (International Series in Social Psychology)
Read more
Het Been

Het Been
Read more
Nooit Meer Slapen

Nooit Meer Slapen
Read more
Van Vijf Moderne Dichters

Van Vijf Moderne Dichters
Read more