1.
 |  | Title: Control Flow Semantics (Foundations of Computing)
by J. W. De Bakker, Erik De Vink, Jaco De Bakker
ISBN: 0262041545
Publisher: MIT Press
Pub. Date: 01 April, 1996
List Price: $80.00
Amazon.com Price: $80.00 |
2.
|  | Title: Mathematical theory of program correctness (Prentice-Hall International series in computer science)
by J. W. de Bakker
ISBN: 0135621321
Publisher: Prentice-Hall International
Pub. Date: 1980
List Price: $29.00
Amazon.com Price: $29.00 |
3.
|  | Title: Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands May 30-June 3, (Springer Series in Materials Science)
by J. W. De Bakker, W.P. De Roever, G. Rosenberg, J.W. De Bakker, W.-P. De Roever, Grzegorz Rozenberg, School, Branching Time, and Partial Order in L Workshop on Linear Time
ISBN: 038751080X
Publisher: Springer-Verlag
Pub. Date: 01 July, 1989
List Price: $98.00
Amazon.com Price: $98.00 |
4.
|  | Title: Cigr Handbook of Agricultural Engineering: Agro Processing Engineering
by P. Amirante, J. De Baerdemacker, M. Ruiz-Aaltisent, C. J. Studman, F. W. Bakker-Arkema
ISBN: 1892769034
Publisher: Amer Society of Agricultural
Pub. Date: 01 December, 1999
List Price: $58.75
Amazon.com Price: $58.75 |
5.
|  | Title: Mathematics and Computer Science
by J. W. De Bakker
ISBN: 0444700242
Publisher: North-Holland
Pub. Date: 01 January, 1986
List Price: $108.25
Amazon.com Price: $108.25 |
6.
|  | Title: Logic Programming Languages: Constraints, Functions, and Objects
by K.R. Apt, J.W. De Bakker, J.J.M.M. Rutten
ISBN: 0262011344
Publisher: MIT Press
Pub. Date: 02 March, 1993
List Price: $36.95
Amazon.com Price: $36.95 |
7.
|  | Title: Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings (Lecture Notes in Computer Science)
by J. W. De Bakker
ISBN: 354053931X
Publisher: Springer-Verlag Telos
Pub. Date: January, 1991
|
8.
|  | Title: 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
ISBN: 3540525599
Publisher: Springer-Verlag
Pub. Date: January, 1990
|
9.
|  | Title: Current Trends in Concurrency (Lecture Notes in Computer Science, Vol 224)
by J.W. De Bakker
ISBN: 038716488X
Publisher: Springer-Verlag
Pub. Date: 01 September, 1986
List Price: $98.00
Amazon.com Price: $98.00 |
10.
|  | Title: Parle: Parallel Architectures and Languages Europe : Parallel Architectures Eindhoven, the Netherlands, June 15-19, 1987 Proceedings (Lecture Notes)
by J.W. De Bakker, A.J. Nijman, P.C. Treleaven
ISBN: 0387179437
Publisher: Springer-Verlag
Pub. Date: 01 August, 1987
List Price: $49.95
Amazon.com Price: $49.95 |
