Your search returned 3 results.

Not what you expected? Check for suggestions
BOOKS
Foundations of Program Verification [xc]

by Loeckx, Jacques.

Material type: Text Text Publication details: UK ; John Wiley ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 44 Call number: XC 102.

E-BOOKS
Automata, Languages and Programming [electronic resource] : 2nd Colloquium, University of Saarbrücken July 29–August 2, 1974 / edited by Jacques Loeckx.

by Loeckx, Jacques [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 14Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1974Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha