Image from Google Jackets

Normal view MARC view ISBD view

Model Checking

By:

Clarke Jr, Edmund M

Contributor(s):

Language: English Publication details: Cambridge The MIT Press 1999 2001Description: xiv, 314p. IllustrationISBN:

0262032708

Subject(s):

DDC classification:

004.21 CLA

Item type:

Reference Books

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Books	Main Library Reference Section	Reference Collection	004.21 CLA (Browse shelf(Opens below))	Available		450853

Total holds: 0

There are no comments on this title.

to post a comment.

Previous

Back to results

Next

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

1 An Annotated checklist of mosquitoes of Sri Lanka
by Jayasekera, Nalini
2 Biosphere
3 Biosphere
4 A Check list of amphibia of Sri Lanka
by Kotagama, S. W
5 A check list of land snails of Sri Lanka
by Ratnapala, Ranjini
6 A Check list of the liverworts of Sri Lanka
by Abeywickrama, B. A
7 A check list of the mammals of Sri Lanka
by Arudpragasam, K. D
8 A Check list of the mosses of Sri Lanka
by Abeywickrama, B. A
9 A Check list of the pteridophytes of Sri Lanka
by Aneywickrama, B. A
10 The Families of the flowering plants of Sri Lanka, Part 1
by Abeywickrama, B. A
11 The Genera of the freshwater algae of Sri Lanka, Part 1
by Abeywickrama, B. A
12 The Genera of the freshwater algae of Sri Lanka, Part ii
by Abeywickrama, B. A
13 A Hand book to the fungi associated with insects of Sri Lanka
by Coomaraswamy, Umarany
14 A Hand book to the fungi parasitic on the plants of Sri Lanka
by Coomaraswamy, Umarany
15 A Hand book to the soil fungi of Sri Lanka
by Coomaraswamy, Umarany

Close

Share

Enter item barcode:

Barcode	Title	Call number	Due date
items checked out