Software Engineering and Formal Methods
By: Material type:
TextLanguage: English Publication details: Springer; Springer; 2017ISBN: - 9783319661971
eBooks
| Item type | Current library | Home library | Status | Barcode | |
|---|---|---|---|---|---|
eBooks
|
Central Library | Central Library | Available | CL1731306 |
There are no comments on this title.
Log in to your account to post a comment.
-
6051
Organizational Behavior, Updated 18e
by Robbins -
6052
Investment Analysis and Portfolio Management
by Ranganatham; Madhumathi -
6053
Management
by Naylor -
6054
Financial Markets and Institutions, 8/e
by Mishkin -
6055
Knowledge Management: An Integrated Approach
by Jashapara -
6056
Rethinking Organisational Behaviour : A Post-Structuralist Framework
by Jackson;Carter -
6057
Leader's Guide to Negotiation
by Horton -
6058
Management, 3e
by Hitt;Black;Porter -
6059
Leadership in the Headlines
by Hill -
6060
Effective leadership
by Goetsch -
6061
Leading Teams - 10 Challenges : 10 Solutions
by Flint;Vinberg Hearn -
6062
Security Analysis Portfolio Management, 7e
by Fischer -
6063
International Human Resource Management
by Edwards;Rees -
6064
Seven Cs of Consulting, The, 3e
by Cope -
6065
How to Manage Stress
by Clayton -
6066
Entrepreneurship Development and Small Business Enterprises, 3e
by Charantimath -
6067
Entrepreneurship Development and Small Business Enterprises
by Charantimath -
6068
Managing Change in Organizations, 6e
by Carnall -
6069
Instant Motivation
by Burns -
6070
Managerial Decision Modeling with Spreadsheets, 3e
by Balakrishnan;Render;Stair -
6071
Knowledge Management
by Awad;Ghaziri -
6072
Persuasive Negotiating
by Arden -
6073
International Financial Management, 3e
by Siddaiah -
6074
Educational Psychology: The Impact of Psychological Research on Education
by Woolfson -
6075
Early Childhood Development: A Multicultural Perspective, 6e
by Trawick-Smith -
6076
Psychology Express: Statistics in Psychology (Undergraduate Revision Guide)
by Steele;Andrews;Upton -
6077
Educational Psychology: Developing Learners, Global Edition, 9e
by Ormrod -
6078
Guidance and Counselling
by Kinra -
6079
Life Span Development: A Topical Approach, 2e
by Feldman -
6080
Social Psychology, 14/e
by Baron -
6081
Introduction to Revenue Management for the Hospitality Industry, An: Principles and Practices for the Real World
by Tranter;Stuart-Hill; Parker -
6082
Operations Research An Introduction, eBook, Global Edition, 10e
by Taha, Hamdy -
6083
Project Management
by Pradeep Pai -
6084
Operations Management: Theory and Practice, 3e
by Mahadevan -
6085
Operations Management, 12/e
by Jay Heizer -
6086
Foodservice Operations: A Managerial and Systems Approach, 7e
by Gregoire -
6087
Logistics Engineering & Management, 6e
by Blanchard -
6088
Introduction to Materials Management
by Arnold; Chapman; Clive -
6089
Managerial Economics
by Agarwal -
6090
Introduction to Hospitality Management, 4e
by Walker -
6091
Supply Chain Management : Text and Cases
by Sople -
6092
Logistics Management, 3e
by Sople -
6093
Fundamentals of Financial Management, 3e
by Sharan -
6094
Supply Chain Management 2/e
by Shah -
6095
Hospital Management
by Ramani -
6096
Hospitality Management and Organisational Behaviour., 5e
by Mullins -
6097
Operations Management, 12e
by Krajewski -
6098
Supply Chain Management: From Vision to Implementation
by Fawcett;Ellram;Ogden -
6099
Supply Chain Management, 7e
by Chopra -
6100
Vyavaharik Manovigyan (Hindi)
by Ashok Pratap Singh
Software Engineering and Formal Methods
APA
Alessandro Cimatti M. S., .Software Engineering and Formal Methods. : Springer.
Chicago
Alessandro Cimatti Marjan Sirjani, .Software Engineering and Formal Methods. : Springer.
Harvard
Alessandro Cimatti M. S., .Software Engineering and Formal Methods. : Springer.
MLA
Alessandro Cimatti Marjan Sirjani, .: Springer. .
