The way of Z : practical programming with formal methods / Jonathan Jacky.

By:

Jacky, Jonathan

Material type: Text

TextPublication details: Cambridge ; New York, NY, USA : Cambridge University Press, c1997.Description: xviii, 350 p. : ill. ; 24 cmISBN:

9780521559768 (pbk.)

Subject(s):

DDC classification:

005.12 JAC

Item type:

Books

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Materials specified	Status	Notes	Date due	Barcode
Books	Software Engineering	Software Engineering	005.12 JAC (Browse shelf(Opens below))		Available	P48.99		LC-106525

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.

Back to results

41 Enviromental Impact Assessment (EIA) of Three Irrigation Minors i.e. Chatto Minore, Wangi Minores & Sangi Minor /
by Aisha Kousar.
42 Estimation of Methane Emissions form Dumping Sites of MSW of Hyderabad City /
by Naila Gul.
43 Exploring Ground water Quality in the Areas Surrounding Manchar Lake for Drinking Purposes /
by Shaikh, Sultan.
44 Development of Protective Clothing from the Eco-Friendly Materials /
by Memon, Arshad Hussain.
45 Application of Copper Nanocluster for Acid Red Dye Removal Via Precipitation Method /
by Amir Akram
46 Effect of chlorpyrifos pesticide on nitrogen fixing bacteria in soil /
by Javed Haider.
47 Enhancing the Production of Biomethane Through Anaerobic Codirection of Crop Residues by Various Pre-Treatments /
by Noonari, Altaf Alam.
48 Investigating the Mancher Lake Ecosystem Degradation & Restoration under Different Management & Climate Scenarios /
by Uzma Imran.
49 Hazard Identification and prevention in SSGC Gas transmission facility Jamshoro /
by Abdul Latif.
50 Identification and characterization of the fungi in biofilms formed on different pipe materials of drinking water distribution system /
by Shaikh, Arsalan.
51 Study/Analysis of climate changes for Hydrrabad city using least square regression method /
by Keerio, Hareef Ahmed
52 Study the impacts of ground water quality of Diplo taluka (Tharparkar) on human health /
by Shah, Ayaz Ali
53 Encyclopedia of environmental pollution and its control /
by Chhatwal, G. R.
54 Environmental pollution and control in chemical process industries /
by Bhatia, S.C.
55 Chemistry for environmental engineers /
by Qazi, Ishtiaq A.
56 Environment of Sindh :
57 Second International conference energy, environment & sustainable development /
58 Environmental engineer's mathematics handbook /
by Spellman, Frank R.
59 The Encyclopedia of environmental studies /
by Ashworth, William.
60 McGraw-Hill encyclopedia of environmental science and engineering /