Welcome to Central Library, SUST

Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Industrial used of formal method : formal verification / edited by Jean-Louis Boulanger. by
  • Boulanger, Jean-Louis
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: London : Hoboken, NJ : ISTE ; Wiley, ©2012
Availability: No items available.

2.
Tools for oceanography and ecosystemic modeling / edited by Andre Monaco, Patrick Prouzet. by
  • Monaco, Andre [editor.]
  • Prouzet, Patrick [editor.]
Series: Oceanography and marine biology series. Seas and oceans set.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: London, UK : ISTE, ; Hoboken, NJ, USA : Wiley, [2016]Copyright date: ©2016
Availability: Items available for loan: Central Library, SUST (1)Call number: 551.46 TOO.

Pages