Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Modeling in Event-B / by Jean-Raymond Abrial. by
  • Abrial, Jean-Raymond
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, 2010
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 004.01 ABR/M.

Place hold
2.
Principles of cyber-physical systems / Rajeev Alur. by
  • Alur, Rajeev, 1966-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Cambridge, Massachusetts : The MIT Press, 2015
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 006.22 ALU/R.

Place hold
Pages

Central Library, Indian Institute of Technology Bhubaneswar, 4th Floor, Administrative Building, Argul, Khordha, PIN-752050, Odisha, India
Phone: +91-674-7138750 | Email: circulation.library@iitbbs.ac.in (For circulation related queries),
Email: info.library@iitbbs.ac.in (For other queries)

Powered by Koha