- Anaesthesia
- Anatomy
- Biochemistry
- Cardiac Surgery
- Cardiology
- Dentistry
- Dermatology
- Emergency Medicine
- Endocrinology
- Forensic Medicine
- Gastroenterology
- General Medicine
- General Surgery
- Genetics
- Geriatrics Medicine
- Health & Nursing
- Hematology
- Histology
- Hospital Administration
- Hospital Management
- Medical Education
- Medicine
- Microbiology
- Nephrology
- Neuro Surgery
- Neurology
- Neuroscience
- Nursing
- Obstetrics & Gynaecology
- Oncology
- Ophthalmology
- Orthopaedics
- Otolaryngology
- Pathology
- Pediatrics
- Pediatrics Surgery
- Pharmacology
- Physiology
- Physiotherapy
- Plastic Surgery
- Preventive And Social Medicine
- Psychiatry
- Radiology
- Respiratory Medicine
- Rheumatology
- Sports Medicine
- Surgery
- Transfusion Medicine
- Urology
General
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS: 5TH INTERNATIONAL SYMPOSIUM, ATVA 2007 TOKYO, JAPAN, OCTOBER 22-25, 2007 PROCEEDINGS (LECTURE ... / PROGRAMMING AND SOFTWARE ENGINEERING)
ISBN : 9783540755951
Share Link:
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS: 5TH INTERNATIONAL SYMPOSIUM, ATVA 2007 TOKYO, JAPAN, OCTOBER 22-25, 2007 PROCEEDINGS (LECTURE ... / PROGRAMMING AND SOFTWARE ENGINEERING)
Add to Cart
Buy Now
Delivery Charges Applicable
- Satisfaction 100% Guaranteed
- Shipping Charges Applicable
- Latest Editions
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS: 5TH INTERNATIONAL SYMPOSIUM, ATVA 2007 TOKYO, JAPAN, OCTOBER 22-25, 2007 PROCEEDINGS (LECTURE ... / PROGRAMMING AND SOFTWARE ENGINEERING)
Specifications
| Author | KEDAR NAMJOSHI(EDITOR) |
| Edition | Latest Edition |
| Year | Latest |
| Publisher | SV |
| Binding | PAPERBACK |
Product Reviews
There are no reviews yet.
Write Review