Software Engineering and Formal Methods
By: Material type:
TextLanguage: English Publication details: Springer; Springer; 2022ISBN: - 9783031171086
eBooks
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
eBooks
|
Central Library | Central Library | Available | CL1777258 |
There are no comments on this title.
Log in to your account to post a comment.
-
201
Brhamsutrabhashyam
by Anand Teerth -
202
Brief writing and argumentation
by Pittoni Mario -
203
British examinations : Techniques of Analysis
by Nuttall Desmond L -
204
Broken homes
by Colcord, J.C. -
205
Buddha disease
by Rajneesh Bhagwan Shree -
206
Budgets and bugetary procedures in India 1947-48 to 2009-10
by Sury M M -
207
Buidling from the bottom : infrastucture and poverty alleviation
by Kochhar S -
208
Building Capacities
by Ved Kumari Au. -
209
Building Capacities
by Ved Kumari Au. -
210
Bunpo-I Joshi no shomoundai
-
211
Burma
-
212
Business environment 1989-90 : An outline
by Chopra BS Ks -
213
Business ethics & corporate social responsibility
by Sahni S K -
214
Business ethics & corporate social responsibility
by Sahni S K -
215
Business ethics and corporate social responsibilit
by Sahni S K -
216
Business ethics and corporate social responsibilit
by Sahni S K -
217
Business ethics and corporate social responsibility
by Sahni S K -
218
Business planning
by Herwitz David R. -
219
Business Policy for Indian Industries:corporate planning process
by Chopra BS Ks -
220
Business take over & the role of ficial institutions in India
by Roy M K -
221
Calendar of documents on Indo Persian relations 1500--1750
by Riazul Islam -
222
Calendar of documents on Indo Persian relations 1500--1750
by Riazul Islam -
223
California land planning for people
-
224
California land planning for people
-
225
Can India grow without Bharat?
by Acharya Shankar -
226
Can India grow without Bharat?
by Sankaracharya -
227
Capital gains tax
-
228
Capital gains tax
-
229
Carnatic Music Composers
by Rao B Hayananda Ed. -
230
Carnatic Music Composers
by Rao B Hayananda Ed. -
231
Carnegie foundation for the advancement of teaching : Thirty ninth annual report
-
232
Cartel regulation
by DASGUPTA Lovely -
233
Cartel regulation
by DASGUPTA Lovely -
234
Cases & Materials on individual rights in Constitutional Law.
by GUNTHER G -
235
Cases and material on federal taxation
by Griswold Erwin N. -
236
Cases and materials for a course on legal methods
by Covington R.N. Au. -
237
Cases and materials on administrative law
by Frankfurter Felix -
238
Cases and materials on admiralty
by Morrison Stanley -
239
Cases and materials on admiralty
by Morrison Stanley -
240
Cases and materials on antitrust law
by Blake Harlan M. -
241
Cases and materials on antitrust law
by Blake Harlan M. -
242
Cases and materials on antitrust law
by Blake Harlan M. -
243
Cases and materials on civil procedure
by Atkinson Thomas E. -
244
Cases and materials on commercial law
by Farnsworth E. Allan -
245
Cases and materials on commercial law
-
246
Cases and materials on commercial paper and bank deposits and collections
by Hawkland William D. -
247
Cases and materials on constitutional law
by Gunther Gerald -
248
Cases and materials on constitutional law
by Gunther Gerald -
249
Cases and materials on constitutional law
by Gunther Gerald -
250
Cases and Materials on constitutional law
by Gunther Gerald
Software Engineering and Formal Methods
APA
Bernd-Holger Schlingloff M. C., .Software Engineering and Formal Methods. : Springer.
Chicago
Bernd-Holger Schlingloff Ming Chai, .Software Engineering and Formal Methods. : Springer.
Harvard
Bernd-Holger Schlingloff M. C., .Software Engineering and Formal Methods. : Springer.
MLA
Bernd-Holger Schlingloff Ming Chai, .: Springer. .
