Magers & Quinn Booksellers

Cancel

Filters

Selected

Willem-Paul, de Roever

Condition

New

Used

Collectible

Availability

On Our Shelves

Ships from Warehouse

Format

Hardcover

Paperback

Audio Book

Other

Languages

English

Spanish

Italian

French

German

Portuguese

Chinese

Polish

Dutch

Latin

Price

Back

Willem-Paul, de Roever

Filters

Sort by

Programming Concepts and Methods Procomet '98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12

Gries, David

de Roever, Willem-Paul

Paperback

$307.99

Programming Concepts and Methods Procomet '98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12

Gries, David

de Roever, Willem-Paul

Hardcover

$219.99

Data Refinement: Model-Oriented Proof Methods and Their Comparison

de Roever, Willem-Paul

Engelhardt, Kai

Paperback

$71.00

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

Willem-Paul, de Roever

Frank, de Boer

Ulrich, Hanneman

Paperback

$99.00

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

de Boer, Frank

Hooman, Jozef

de Roever, Willem-Paul

Hardcover

$284.00

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys

Langmaack, Hans

Roever, Willem-Paul de

Vytopil, Jan

Paperback

$109.99

Compositionality: The Significant Difference: International Symposium, Compos'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures

Pnueli, Amir

Roever, Willem-Paul de

Langmaack, Hans

Paperback

$109.99

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3

Bakker, Jacobus W. De

Roever, Willem-Paul de

Rozenberg, Grzegorz

Paperback

$109.99

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings

Bakker, Jaco W. De

Roever, Willem-Paul de

Rozenberg, Grzegorz

Paperback

$109.99

Current Trends in Concurrency: Overviews and Tutorials

Roever, Willem-Paul de

Bakker, Jacobus W. De

Rozenberg, Grzegorz

Paperback

$109.99

De Amsterdamsche Weeskamer (1878)

De Roever, Nicolaas

Paperback

$28.69

De Amsterdamsche Weeskamer

De Roever, Nicolaas

Hardcover

$30.95

De Amsterdamsche weeskamer

Roever, Nicolaas De

Paperback

$42.90

Van Vrijen En Trouwen. Bijdrage Tot de Geschiedenis Van Oud-Vaderlandsche Zeden, Etc.

Roever, Nicolaas De

Paperback

$26.36

De Amsterdamsche Weeskamer

De Roever, Nicolaas

Paperback

$17.95

De Amsterdamsche Weeskamer (1878)

De Roever, Nicolaas

Paperback

$22.95

Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures

de Roever, Willem-Paul

Bonsangue, Marcello M.

Graf, Susanne

Paperback

$54.99

Formen Lyrischen Erzählens Im Minnesang Des 12. Bis 14. Jahrhunderts: Metapher, Topos Und Diagramm Zwischen Nähe Und Distanz

Roever, Diana

Hardcover

$148.99

Teaching and Testing Second Language Pragmatics and Interaction: A Practical Guide

Roever, Carsten

Hardcover

$190.00

King David's Tambourine

Roever, Joanna

Paperback

$17.05

Filters

Selected

Category

Condition

Availability

Format

Languages

Price

Willem-Paul, de Roever

Programming Concepts and Methods Procomet '98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12

Programming Concepts and Methods Procomet '98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12

Data Refinement: Model-Oriented Proof Methods and Their Comparison

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys

Compositionality: The Significant Difference: International Symposium, Compos'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings

Current Trends in Concurrency: Overviews and Tutorials

De Amsterdamsche Weeskamer (1878)

De Amsterdamsche Weeskamer

De Amsterdamsche weeskamer

Van Vrijen En Trouwen. Bijdrage Tot de Geschiedenis Van Oud-Vaderlandsche Zeden, Etc.

De Amsterdamsche Weeskamer

De Amsterdamsche Weeskamer (1878)

Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures

Formen Lyrischen Erzählens Im Minnesang Des 12. Bis 14. Jahrhunderts: Metapher, Topos Und Diagramm Zwischen Nähe Und Distanz

Teaching and Testing Second Language Pragmatics and Interaction: A Practical Guide

King David's Tambourine

Loading

You have reached the end of the list.
Return to the top.

Filters

Selected

Category

Condition

Availability

Format

Languages

Price

Willem-Paul, de Roever

Programming Concepts and Methods Procomet '98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12

Programming Concepts and Methods Procomet '98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12

Data Refinement: Model-Oriented Proof Methods and Their Comparison

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys

Compositionality: The Significant Difference: International Symposium, Compos'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings

Current Trends in Concurrency: Overviews and Tutorials

De Amsterdamsche Weeskamer (1878)

De Amsterdamsche Weeskamer

De Amsterdamsche weeskamer

Van Vrijen En Trouwen. Bijdrage Tot de Geschiedenis Van Oud-Vaderlandsche Zeden, Etc.

De Amsterdamsche Weeskamer

De Amsterdamsche Weeskamer (1878)

Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures

Formen Lyrischen Erzählens Im Minnesang Des 12. Bis 14. Jahrhunderts: Metapher, Topos Und Diagramm Zwischen Nähe Und Distanz

Teaching and Testing Second Language Pragmatics and Interaction: A Practical Guide

King David's Tambourine

Loading

You have reached the end of the list. Return to the top.

You have reached the end of the list.
Return to the top.