Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 4 results. Subscribe to this search

|
1. THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY

by Broy, Manfred | Schmidt, Gunther.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: D. Reidel Publishing Company 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 T343] (1).

2. THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY

by Broy, Manfred | Schmidt, Gunther.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,658.Publisher: Dordrecht D. Reidel Pub. 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 T343] (1).

3. Control Flow and Data Flow : concepts of distributed programming

by Broy, Manfred [ed.].

Description: viii, 525p.Publisher: Berlin Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.644 N214c] (1).

4. Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / : [electronic resource] :

by Broy, Manfred [editor.] | Grünbauer, Johannes [editor.] | Harel, David [editor.] | Hoare, Tony [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 404 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha