PKK Library

Your cart is empty.

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

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
1.
Temporal logic and state systems

by Kroger, Fred | Merz, Stephan.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 433p.Publisher: Berlin Springer-Verlag 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 K914t] (1).

Place hold Add to cart
2.
Temporal Logic and State Systems : [electronic resource] /

by Kr�ger, Fred [author.1] | Merz, Stephan [author.2 ] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 436 p. 34 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart

Powered by Koha