It looks like you're offline.

Last edited by RenameBot

August 31, 2008 | History

Edit

J. W. de Bakker

We need a photo of J. W. de Bakker

Born

1939

19 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science)

by J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg, J. W. De Bakker, and W. P. De Roever First published in 1990
3 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
A Decade of Concurrency: Reflections and Perspectives. Rex School/Symposium Noordwijkerhout, the Netherlands, June 1 - 4, 1993. Proceedings (Lecture Notes in Computer Science)

by J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg, J. W. De Bakker, and W. P. De Roever First published in 1994
3 editions

Locate

My Reading Lists:

Create a new list
Linear time, branching time, and partial order in logics and models for concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988

by Willem-Paul de Roever, Grzegorz Rozenberg, J. W. de Bakker, and W.-P. de Roever First published in 1989
2 editions

Locate

My Reading Lists:

Create a new list
Logic Programming Languages: Constraints, Functions, and Objects

by Krzysztof R. Apt and J. W. de Bakker First published in 1993
2 editions

Locate

My Reading Lists:

Create a new list
Preview

Preview Book
×Close

Languages for parallel architectures: design, semantics, implementation models

by J. W. de Bakker First published in 1989
2 editions, 1 ebook
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Formal definition of programming languages.: With an application to the definition of algol 60.

by J. W. de Bakker First published in 1967
2 editions

Locate

My Reading Lists:

Create a new list
Foundations of computer science II

by Krzysztof R. Apt and J. W. de Bakker First published in 1976
1 edition

Locate

My Reading Lists:

Create a new list
Control flow semantics

by J. W. de Bakker First published in 1996
1 edition

Locate

My Reading Lists:

Create a new list
Preview

Mathematical theory of program correctness

by J. W. de Bakker First published in 1980
1 edition, 1 ebook
Borrow

Listen

Locate
My Reading Lists:

Create a new list
On convex sublattices of distributive lattices

by J. W. de Bakker First published in 1967
1 edition

Locate

My Reading Lists:

Create a new list
Recursive procedures

by J. W. de Bakker First published in 1971
1 edition

Locate

My Reading Lists:

Create a new list
PARLE: Parallel architectures and languages Europe. : Proceedings

by J. W. de Bakker, A. J. Nijman, and P. C. Treleaven First published in 1987
1 edition

Locate

My Reading Lists:

Create a new list
PARLE: Parallel architectures and languages Europe. : Proceedings

by J. W. de Bakker, A. J. Nijman, and P. C. Treleaven First published in 1987
1 edition

Locate

My Reading Lists:

Create a new list
Ten years of concurrency semantics: selected papers of the Amsterdam Concurrency Group

by J. W. de Bakker First published in 1992
1 edition

Locate

My Reading Lists:

Create a new list
Formal definition of programming languages, with an application to the definition of ALGOL 60

by J. W. de Bakker First published in 1967
1 edition

Locate

My Reading Lists:

Create a new list
Foundations of computer science

by J. W. de Bakker First published in 1975
1 edition

Locate

My Reading Lists:

Create a new list
Foundations of computer science III

by J. W. de Bakker and J. van Leeuwen First published in 1979
1 edition

Locate

My Reading Lists:

Create a new list
Foundations of computer science IV: distributed systems

by J. W. de Bakker and J. van Leeuwen First published in 1983
1 edition

Locate

My Reading Lists:

Create a new list
Preview

Mathematics and computer science: proceedings of the CWI symposium, November 1983

by J. W. de Bakker, Michiel Hazewinkel, and J. K. Lenstra First published in 1986
1 edition, 1 ebook
Borrow

Listen

Locate
My Reading Lists:

Create a new list

We need a photo of J. W. de Bakker

Born

1939

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL455603A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON