Makerere University Libraries

Your cart is empty.

Cart
Lists
Your lists Log in to create your own lists

Log in to your account
Your cookies
Search history

UNIVERSITY LIBRARY CATALOGUE

Search the catalog by:

Search the catalog by keyword

Advanced search
Authority search
Tag cloud
Libraries

Log in to your account

Card number: Password:

Forgot your password?

Home
ISBD view for Formal methods and models for system design

Normal view MARC view ISBD view

Formal methods and models for system design

Gupta, Rajesh Kumar

Formal methods and models for system design

ISBN: 9781402080517

Formal methods and models for system design

APA

Gupta R. K., .Formal methods and models for system design. : .

Chicago

Gupta Rajesh Kumar, .Formal methods and models for system design. : .

Harvard

Gupta R. K., .Formal methods and models for system design. : .

MLA

Gupta Rajesh Kumar, .: . .

Print
Cite
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Exporting to Dublin Core...

Simple DC-RDF

OAI-DC

SRW-DC

Makerere University Library

The Library supports teaching, learning, research and knowledge exchange across the University community.

Tel: +256 393 100 3904

Email: University.librarian@mak.ac.ug

Address: P.O. Box 7062, Kampala

Online Library

Ebooks
Databases A-Z
Open Access Resources
Academic Phrasebank

Repositories

Mak IR Repository (Post Graduate)
Dissertations (Undergraduates)
Research at Mak

Search Library Resources

Search Library Resources
Libhub/Kiox
Research4Life
Google Scholar

MyLoft

MyLoft Guide
MyLoft Signup
MyLoft Sign-in

© 2025 Makerere University Library. All rights reserved.
Technology implemented by

Powered by Koha