PKK Library

Your cart is empty.

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

Your search returned 6 results. Subscribe to this search

Unhighlight Highlight
|
1.
DYNAMIC LOGIC

by Harel,David,Kozen,Dexter | Tiuryn,Jerzy.

Material type: book Book Description: xv,459.Publisher: Mit Press, Cambridge c2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.015113 H222D] (1).

Place hold Add to cart
2.
Modeling in event-B : system and software engineering

by Abrial, Jean-Raymond.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxvi, 586p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 Ab87m] (1).

Place hold Add to cart
3.
SOFTWARE DEVELOPMENT METHODOLOGIES FOR DISTRIBUTED SYSTEMS

by Zhiying,Zhou | | Tilley,Scott | .

Description: viii,178.Publisher: Tsinghua Univ. Pr., Beijing 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.12 IN8S] (1).

Place hold Add to cart
4.
Digital system verification : a combined formal methods and simulation framework / : [electronic resource] :

by Li, Lun 1970- | Thornton, Mitchell Aaron.

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (79 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
5.
Java software development with event B : : a practical guide /

by Cataño Collazos, Nestor 1975- [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction Description: 1 PDF (x, 89 pages) : illustrations (some color).Publisher: [San Rafael, California] : Morgan & Claypool, [2020]Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
6.
Java software development with event B : : a practical guide /

by Cataño Collazos, Nestor 1975- [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction Description: 1 PDF (x, 89 pages) : illustrations (some color).Publisher: [San Rafael, California] : Morgan & Claypool, [2020]Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart

Powered by Koha