Your search returned 6 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Systematic software development using VDM Cliff B. Jones. by Series: Prentice-hall international series in computer science
Material type: Text Text
Publication details: Englewood cliffs Prentice Hall 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N8635.

2.
Advergaming Developer's Guide Using Macromedia Flash MX 2004 and Director MX by
Material type: Text Text
Publication details: Charles River Media 2004
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.5 P04.

Place hold
3.
Advergaming Developer's Guide Using Macromedia Flash MX 2004 and Director MX by
Material type: Text Text
Publication details: Charles River Media 2004
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.5 P04.

Place hold
4.
Formal specification and software development Dines Bjorner and Cliff B Jones by
Material type: Text Text
Publication details: New Jersey Prentice/Hall 1982
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6425 N82.

Place hold
5.
6.
Software development : a rigorous approach by Cliff B Jones by Series: Prentice hall international series in computer science ;
Material type: Text Text
Publication details: New Jersey Prentice hall 1980
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004 N802.

Place hold
Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
                             Contact   Phone: +91 80 2293 2832