Specification in B: an Introduction Using the B Toolkit

By:

Lano Kevin Et Al

Material type: Text

TextLanguage: English Publication details: ICP; World Scientific; 1996ISBN:

9781848161061

Subject(s):

Computer Science

Other classification:

Online resources:

Click here to access online

Item type:

eBooks

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

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Home library	Status	Barcode
eBooks	Central Library	Central Library	Available	CL1876409

There are no comments on this title.

to post a comment.

Back to results

1 Against the law
by Wildeblood, Peter
2 Age of Shakespeare.
by Kermode Frank
3 The ageing brain
by Whalley Lawrence
4 Bandits
by HOBSBAWM E. J.
5 Bandits
by HOBSBAWM E. J.
6 Black hills
by Williams L F Rushbrook
7 Buddha
by Armstrong Karen
8 Central Asia
by Hambly Gavin
9 Children of the raj
by Brendon Vyvyen
10 Chinese army after Mao
by JOFFE Ellis
11 Color purple
by Alice Walker
12 Cultural history of Tibet
by Snellgrove David
13 death by fire: Sati, dowry death and female infanticide
by Sen, Mala
14 Desert kingdom
by Patnaik Naveen
15 Economics of development: problems and policies
by Mcqueen M
16 Economics of poverty
by Balogh Thomas
17 Economy of India
by Balasubramanyam V N
18 Economy of India
by Balasubramanyam V N
19 Emile Durkheim
by Bierstedt, Robert
20 Emotions Revealed
by Ekman Paul
21 English party politics. 2 V
by Beattie Alan Ed.
22 English party politics. 2 V
by Beattie Alan Ed.
23 Government and Law
by Hartley T.C.
24 Government and Law
by Hartley T.C.
25 Government and Law
by Hartley T.C.
26 Great philosophers
by Monk Ray Ed.
27 Growing concern
by Broackes Nigel
28 Guide to the social sciences
by Mackenzie Norman Ed.
29 Humanity in warfare
by Best Geoffrey Au.
30 Industry and empire
by Hobsbawm E J
31 Industry and empire
by Hobsbawm E J
32 Introduction to a mathematical treatment of econom
by Archibald G C
33 Introduction to a mathematical treatment of econom
by Archibald G C
34 Introduction to a mathematical treatment of econom
by Archibald G C
35 Introduction to national income analysis
by Beckerman Wilfred
36 Introduction to national income analysis
by Beckerman Wilfred
37 Introduction to national income analysis
by Beckerman Wilfred
38 Landlord and Tenant
by Partinton Martin
39 Landlord and Tenant
by Partinton Martin
40 Legal Foundations of the Welfare State
by Cranston Ross
41 Legal Foundations of the Welfare State
by Cranston Ross
42 Making of a criminal
by Mayo, Patricia Elton
43 Making of intelligence
by Richardson Ken
44 Managing product design
by Oakley M
45 Middle east
by Lewis Bernard
46 Modern capitalist planning
by Cohen Cohen S S
47 Modern capitalist planning
by Cohen Cohen S S
48 Mussolini
by Farrell N
49 On History
by Hobsbawm , E J.
50 Outline of international fice: exchange rates and payments between countries
by Sirc L