INDUSTRIAL- STRENGTH FORMAL METHODS IN PRACTICE

By:

Material type: Text

TextLanguage: ENGLISH Publication details: SPRINGER INC; 1999Description: 400ISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Materials specified	Status	Notes	Date due	Barcode
Book	Sri Krishna College of Engineering and Technology RACK 2 / SHELF 112	005.131 (Browse shelf(Opens below))		Available	CSE		12282

Previous		No cover image available						Next
Previous	005.13 QUA SCIENTIFIC COMPUTING WITH MATLAB AND OCTAVE	005.13 SMI THINKING ABOUT COMPUTER PROGRAMMING?	005.13 VEN (MCA) FILE STRUCTURES USING C++	005.131 INDUSTRIAL- STRENGTH FORMAL METHODS IN PRACTICE	005.133 PROGRAMMING IN PROLOG	005.133 YOU CAN DO IT! A BEGINNER'S INTRODUCTION TO COMPUTER PROGRAMMING	005.133 GHE PROGRAMMING LANGUAGE CONCEPTS	Next