Franklin

Proceedings of the Ninth International Workshop on Parallel and Distributed Methods in Verification [electronic resource] : joint with the Second International Workshop on High Performance Computational Systems Biology ; 30 September-1 October 2010, Enschede, the Netherlands / IEEE Computer Society.

Other Title:
Ninth International Workshop on Parallel and Distributed Methods in Verification
Second International Workshop on High Performance Computational Systems Biology
Title from PDF of cover: Joint PDMC+HiBi Workshop 2010
Available from some providers with title: Parallel and Distributed Methods in Verification, 2010 Ninth International Workshop on, and High Performance Computational Systems Biology, Second International Workshop on
Publication:
[Los Alamitos, Calif.] : IEEE Computer Society, c2010.
Conference Name:
International Workshop on Parallel and Distributed Methods in Verification (9th : 2010 : Enschede, Netherlands)
International Workshop on High Performance Computational Systems Biology (2nd : 2010 : Enschede, Netherlands)
Format/Description:
Conference/Event
Book
1 online resource (various pagings) : illustrations
Subjects:
Computer programs -- Verification -- Congresses.
Computer software -- Verification -- Congresses.
Parallel processing (Electronic computers) -- Congresses.
Electronic data processing -- Distributed processing -- Congresses.
Computer programs -- Verification.
Computer software -- Verification.
Electronic data processing -- Distributed processing.
Parallel processing (Electronic computers)
Form/Genre:
Conference proceedings.
Notes:
Title from PDF of title page (IEEE Xplore, viewed on May 11, 2011).
IEEE Computer Society Order Number P4265.
Includes bibliographical references and author index.
Contributor:
IEEE Xplore (Online service)
IEEE Computer Society.
ISBN:
9780769542652
0769542654
OCLC:
722913831
Access Restriction:
Restricted for use by site license.
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy