willem-paul de roever Willem-Paul de Roever's Documents - EPDF.PUB

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))

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

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)

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

Programming and Software Engineering)

Programming and Software Engineering)

Biogeography, Time and Place: Distributions, Barriers and Islands

Biogeography, Time and Place: Distributions, Barriers and Islands

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

Witchcraft continued: popular magic in modern Europe

Witchcraft continued: popular magic in modern Europe

Beyond the witch trials: witchcraft and magic in Enlightenment Europe

Beyond the witch trials: witchcraft and magic in Enlightenment Europe

Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990

Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990

Language Testing: The Social Dimension

Language Testing: The Social Dimension

Lijmen Het Been

Lijmen Het Been

Kort verhaal van eene aanmerkelijke luchtreis en planeetontdekking', 1813

Kort verhaal van eene aanmerkelijke luchtreis en planeetontdekking', 1813

De reis van de douanier naar Bentheim

De reis van de douanier naar Bentheim

Van Vijf Moderne Dichters

Van Vijf Moderne Dichters

De Ondergang Der Eerste Wereld

De Ondergang Der Eerste Wereld

De WIJ-Economie

De WIJ-Economie

Managen van transities: Over de menselijke kant van organisatieveranderingen

Managen van transities: Over de menselijke kant van organisatieveranderingen

Studien zur Markussäule, I

Studien zur Markussäule, I

Marketing Revealed: Challenging the Myths

Marketing Revealed: Challenging the Myths

Kort verhaal van eene aanmerkelijke luchtreis en planeetontdekking', 1813

Kort verhaal van eene aanmerkelijke luchtreis en planeetontdekking', 1813

Social Cognition in Adolescence: Its developmental significance

Social Cognition in Adolescence: Its developmental significance

Lijmen Het Been

Lijmen Het Been

Een Ontgoocheling & Het Dwaallicht

Een Ontgoocheling & Het Dwaallicht

Met Bonzend Hart

Met Bonzend Hart

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

Human Rights as Social Representations (International Series in Social Psychology)

Human Rights as Social Representations (International Series in Social Psychology)

Het Been

Nooit Meer Slapen

Nooit Meer Slapen

Van Vijf Moderne Dichters

Van Vijf Moderne Dichters

Our partners will collect data and use cookies for ad personalization and measurement. Learn how we and our ad partner Google, collect and use data. Agree & close