Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Results for author 'Frank de Boer'

Refine Your Results

subjects

Computing & I.T.

7

Mathematics

5

Science

5

lists

All Books

7

availability

All Books

7

price

$50 - $100

4

Over $100

3

formats

Paperbacks

6

Hardcovers

1

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures - Frank S. de Boer

Formal Methods for Components and Objects

4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Frank S. de Boer, Marcello M. Bonsangue and Susanne Graf

Paperback

$84.99

Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures - Frank S. de Boer

Formal Methods for Components and Objects

Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Frank S. de Boer, Marcello M. Bonsangue and Susanne Graf

Paperback

$84.99

Verification of Sequential and Concurrent Programs : Texts in Computer Science - Krzysztof R. Apt

Verification of Sequential and Concurrent Programs

Texts in Computer Science

Krzysztof R. Apt and Frank S. de Boer

Hardcover

$169.00

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures - Elena Giachino

Formal Methods for Components and Objects

11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Elena Giachino, Reiner Hahnle, Marcello M. Bonsangue and Frank S. de Boer

Paperback

$74.99

It's All About Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab - Frank de Boer

It's All About Coordination

Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Frank de Boer, Marcello Bonsangue and Jan Rutten

Paperback

$84.99

Verification of Sequential and Concurrent Programs : Texts in Computer Science - Krzysztof R. Apt

Verification of Sequential and Concurrent Programs

Texts in Computer Science

Krzysztof R. Apt and Frank S. de Boer

Paperback

$119.00

Active Object Languages : Current Research Trends - Eduard Kamburjan

Active Object Languages

Current Research Trends

Eduard Kamburjan, Reiner Hahnle, Frank de Boer, Ferruccio Damiani and Einar Broch Johnsen

Paperback

$109.00

7 Results