Liknande böcker

Languages, Compilers, and Run-Time Systems for Scalable Computers: 5th I...
Bok av Sandhya Dwarkadas
Perspectives of System Informatics: 4th International Andrei Ershov Memo...
Bok av Alexandre V. Zamulin
High-Performance Computing and Networking: 9th International Conference,...
Bok av Roy Williams
Model Checking Software
Bok av Matthew Dwyer
SPIN Model Checking and Software Verification
Bok av Klaus Havelund
Algebraic Methodology and Software Technology: 8th International Confere...
Bok av Teodor Rus
CONCUR 2000 - Concurrency Theory : 11th International Conference, Univer...
Bok av Catuscia Palamidessi
Automata, Languages and Programming: 27th International Colloquium, ICAL...
Bok av Ugo Montanari

Languages, Compilers, and Run-Time Systems for Scalable Computers : 4th International Workshop, LCR '98 Pittsburgh, PA, USA, May 28-30, 1998 Selected Papers

Bok av David O'Hallaron