Results
|
|
41.
|
An introduction to computer languages / H. S. Heaps by
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1972
Availability: Items available for loan: National Library of India (1)Call number: E 001.6424 H 351.
|
|
|
42.
|
|
|
|
43.
|
|
|
|
44.
|
Students' guide to programming languages / Malcolm Bull by
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: Oxford : Newnes, 1992
Availability: Items available for loan: National Library of India (1)Call number: E 005.13 B 872.
|
|
|
45.
|
|
|
|
46.
|
|
|
|
47.
|
|
|
|
48.
|
|
|
|
49.
|
|
|
|
50.
|
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 7609
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Availability: Items available for loan: National Library of India (1).
|
|
|
51.
|
|
|
|
52.
|
|
|
|
53.
|
|
|
|
54.
|
Compiler Construction [electronic resource] : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Ranjit Jhala, Koen De Bosschere. by Series: Lecture Notes in Computer Science ; 7791
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Availability: Items available for loan: National Library of India (1).
|
|
|
55.
|
|
|
|
56.
|
|
|
|
57.
|
Formal Methods for Executable Software Models [electronic resource] : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures / edited by Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer. by Series: Lecture Notes in Computer Science ; 8483
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Availability: Items available for loan: National Library of India (1).
|
|
|
58.
|
|
|
|
59.
|
|
|
|
60.
|
|