Survey of verification techniques for parallel programs
By: Material type:
TextLanguage: English Series: Lectuer notes in computer science; 191Publication details: Berlin Springer Verlag 1985Description: vi, 115p. cmSubject(s): DDC classification: - D65,8(B)92, M5
Textual
| 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 | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | D65,8(B)92 M5 (Browse shelf(Opens below)) | Available | SL0842653 |
There are no comments on this title.
Log in to your account to post a comment.
-
301
Iqbal
by Zakaria Rafiq -
302
Journey into islam
by Ahmed Akbar -
303
Journey into Islam
by Ahmed Akbar -
304
Joy in loving
by Ohaliha Jaya Co. -
305
Joy of achievement
by Lala R M -
306
Joy of achievement
by Lala R.M. -
307
Juarez and his Mexico
by Roeder Ralph -
308
Jyoti Basu
by Banerjee Surabhi -
309
Jyoti Basu
by Banerjee Surabhi -
310
Jyoti Basu, the Authorized Bibography
by Banerjee, Surabhi -
311
Karla's Choice
by Harkaway, Nick -
312
Kashmir
by Tavleen Singh -
313
Kashmir
by Akbar M J -
314
Kashmir
by Akbar M J -
315
Kashmir
by Akbar M J -
316
Kashmir and beyond 1966-84
by Alam Jawaid Ed. -
317
Kashmir and beyond 1966-84
by Alam Jawaid Ed. -
318
King of gypsies
by Maas Peter -
319
Kishore Kumar
by Valicha Kishore -
320
Krishna
by Varma Pavan K -
321
Ladakh
by Dasgupta Prabuddha -
322
Last battle of Saraighat
by Sethi Rajat -
323
Last burden
by Chatterjee Ppamanyu -
324
Last burden
by Chatterjee Ppamanyu -
325
Last Mughal
by DALRYMPLE William -
326
Last Nizam
by Bawa V K -
327
Last spring
by Fraly Abraham -
328
Last spring
by Eraly Abraham -
329
Lenin's tomb
by Remnick David -
330
Letters ed by Richard Ellmann
by Joyce James -
331
Letters ed by Richard Ellmann
by Joyce James -
332
Letters of james joyce
by Gilbert Stuart Ed. -
333
Literary situation
by Cowley Malcolm -
334
Lives of a cell
by Thomas Lewis -
335
Lives of a cell : Notes of a biology watcher
by Thomas Lewis -
336
Lives of a cell : Notes of a biology watcher
by Thomas Lewis -
337
Lords of Alijah
by McCallum Dawood Ali -
338
Lucknow boy
by Mehta Vinod -
339
Lucknow boy
by Mehta Vinod -
340
Mad and divine
by Kakar Sudhir -
341
Mailer
by Manso Peter -
342
Making a difference
by Alphons K J -
343
Making a difference.
by Alphons K J -
344
Making India work
by Bissell, William Nanda -
345
Mammaries of the welfare state
by Chatterjee Upamanyu -
346
Mammaries of the welfare state
by Chatterjee Upamanyu -
347
Mammaries of the welfare state
by Chartterjee Upamanyu -
348
Man who saved India Sardar Patel and his idea of India
by Sengupta Hindol -
349
Mao and China
by Karnow Stanley -
350
Marathon
by Witcover Jules
Survey of verification techniques for parallel programs
APA
Barringer Howard, . (1985). Survey of verification techniques for parallel programs. Berlin: Springer Verlag.
Chicago
Barringer Howard, . 1985. Survey of verification techniques for parallel programs. Berlin: Springer Verlag.
Harvard
Barringer Howard, . (1985). Survey of verification techniques for parallel programs. Berlin: Springer Verlag.
MLA
Barringer Howard, . Survey of verification techniques for parallel programs. Berlin: Springer Verlag. 1985.
