Formal Methods and Software Engineering

By:

Zhenhua Duan, Luke Ong

Material type: Text

TextLanguage: English Publication details: Springer; Springer; 2017ISBN:

9783319686905

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	CL1737643

There are no comments on this title.

to post a comment.

Back to results

1 8051 microcontroller.
by Ayala Kenneth
2 Biochemistry
by Campbell Marry K
3 Biochemistry
by Campbell Marry K
4 Biotechnology
by Barnum Susan R
5 Biotechnology
by Barnum Susan R
6 Biotechnology
by Barnum Susan R
7 Chemistry:concepts and applications
by Zumdahl Steven S
8 Classical dynamics of particles and systems
by Thornton Stephen T
9 Cognition
by Reed Stephen K.
10 Communication in a virtual organization
by Collins Sandra D
11 Computer science:a structured programming approach using C
by Forouzan Behrouz A
12 Computer science:a structured programming approach using C
by Forouzan Behrouz A
13 Computer science:a structured programming approach using C
by Forouzan Behrouz A
14 Digital image processing and computer vision
by Sonka Milan
15 Diversity in organization
by Bell Myrtle P.
16 Environmental science:in context
by Lerner Brenda Wilmoth Ed.
17 Environmental science:in context
by Lerner Brenda Wilmoth Ed.
18 Ficial management : Text and cases
by Brigham Eugene F
19 Ficial management : Text and cases
by Brigham Eugene F
20 Financial management
by Brigham Eugene F
21 Fundamentals of ecology
by Odum Eugene P; Barrett Gray W
22 Fundamentals of ecology
by Odum Eugene P; Barrett Gray W
23 Fundamentals of Ecology
by Odum, Eugene P
24 Inorganic chemistry
by Purcell Keith F; Kotz John C
25 Inorganic chemistry
by Purcell Keith F; Kotz John C
26 Inorganic chemistry
by Purcell Keith F; Kotz John C
27 Inorganic chemistry
by Purcell Keith F; Kotz John C
28 Inorganic chemistry
by Purcell Keith F; Kotz John C
29 Inorganic chemistry
by Purcell Keith F; Kotz John C
30 Inorganic chemistry
by Purcell Keith F; Kotz John C
31 Inorganic chemistry
by Purcell Keith F
32 Inorganic chemistry
by Purcell Keith F
33 Inorganic chemistry
by Purcell Keith F
34 Instrumental analysis
by Skoog Douglas A
35 Instrumental analysis
by Skoog Douglas A
36 Instrumental analysis
by Skoog Douglas A
37 Instrumental analysis
by Skoog Douglas A
38 Instrumental analysis
by Skoog Douglas A
39 Introduction to information technology
by Aksoy Pelin
40 Introduction to logic
by Hurley Patrick J.
41 Introduction to political thinkers
by Ebenstein Alan
42 Investment analysis and portfolio management
by Reilly Frank K; Brown Keith C
43 Learning and using geographic information systems
by Gorr Wilpen L.
44 Numerical analysis
by Burden Richard L
45 Numerical analysis
by Burden Richard L
46 Numerical analysis
by Burden Richard L
47 Numerical analysis
by Burden Richard L
48 Numerical analysis
by Burden Richard L
49 Numerical analysis
by Burden Richard L
50 Object-oriented programming C++
by Farrell Joyle