Recommend to a Librarian

Required fields marked with *

Your name*:

Your email address (where you can be reached if your librarian has further questions)*:

Your department:

Institution name:

Librarian name*:

Librarian e-mail address*:

Dear Acquisitions Librarian,

I recommend the following IGI Global publication for our library:

Title: Formal Verification Methods
Author(s)/Editor(s): Osman Hasan (School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Pakistan); Sofiène Tahar (Concordia University, Canada)
ISBN13: 9781466658882; EISBN13: 9781466658899
I recommend this publication for the following reasons (please check all that apply):

Recommend Related Titles

A Step-By-Step Implementation of a Multi-Agent Currency Trading System
Agent Technologies
Copyright 2011. 253 pages.
Aiding Compliance Governance in Service-Based Business Processes
Electronic Services & Service Science
Copyright 2012. 548 pages.
Coh-Metrix: An Automated Tool for Theoretical and Applied Natural Language Processing
Computational Linguistics
Copyright 2012. 205 pages.
Linguistic Inquiry and Word Count (LIWC): Pronounced “Luke,” . . . and Other Useful Facts
Computational Linguistics
Copyright 2012. 229 pages.
Surgical Robots: System Development, Assessment, and Clearance
Copyright 2012. 326 pages.
Analysis and Design of Meander Line Dipole Antennas
Wireless Systems
Copyright 2012. 28 pages.
Additional comments or reasons for making recommendation:

Librarians: All IGI Global publications are available in print and perpetual access versions. Contact IGI Global or your bookseller for more information.

Questions or orders may be forwarded to:
IGI Global
701 East Chocolate Avenue, Suite 200
Hershey, PA 17033-1240, USA
717-533-8845 ext. 100
717-533-8661 fax


SubmitGenerate Email Text to Send Myself