Formal methods in programming and their applications

Contributor(s):

Material type: Text

TextLanguage: English Series: Lecture notes in computer science, v 735Publication details: Berlin Springer Verlag 1993Description: ix,434pSubject(s):

DDC classification:

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

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	ISI Library, Kolkata 4th Floor	005.1 B626 (Browse shelf(Opens below))	Available		113619

Total holds: 0

Previous		No cover image available		No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	005.1 B575 Fundamental algorithms	005.1 B588 Automatic program construction techniques	005.1 B624 Software reliability modelling and identification : lectures	005.1 B626 Formal methods in programming and their applications	005.1 B725 Programming for an automatic digital calculator	005.1 B725 Programming for an automatic digital calculator	005.1 B814 Theory of computation	Next

Proceedings of an International Conference held in russia in 1993

There are no comments on this title.

to post a comment.