Your search returned 22 results.

Not what you expected? Check for suggestions
21.
Stepwise Refinement of Distributed Systems

by Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg.

Series: Lecture Notes in Computer ScienceEdition: 1990Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1990Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

22.
Structures in Logic and Computer Science

by Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa.

Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .