Similar Listings
Mathematical Models for the Semantics of Parallelism (Lecture Notes in Computer
Extensions of First Order Logic (Cambridge Tracts in Theoretical Computer Scienc
Methods of programming : selected papers on the CIP project. Lecture notes in co
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer S
Esop 88: 2nd European Symposium on Programming (Lecture Notes in Computer Scienc
Automata, languages and programming. Lecture notes in computer science. Internat
The general theory of integration. Oxford mathematical monographs; Oxford scienc
Trends in Distributed Systems: CORBA and Beyond Lecture Notes in Computer Scienc