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
URL: www.igi-global.com/chapter/formal-verification-methods/112414
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
Robotics
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
1-866-342-6657
717-533-8845 ext. 100
717-533-8661 fax
E-mail: cust@igi-global.com
www.igi-global.com

 

SubmitGenerate Email Text to Send Myself