IMSc Library catalog › Details for: Software abstractions

Cover image

Normal view MARC view ISBD view

Software abstractions Logic language and analysis

By: Jackson, DanielMaterial type: Text

Text

TextPublication details: London ; MIT Press ; 2012Description: 354ISBN: 9780262017152Subject(s): Computer software development

Item type:

BOOKS

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

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681.3.06 JAC (Browse shelf (Opens below))		Available		69709

There are no comments on this title.

to post a comment.

Previous

Back to results

Next

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

1 Finite presentability of S-arithmetic groups :
by Abels, Herbert,
2 Classes unipotentes et sous-groupes de Borel /
by Spaltenstein, Nicolas.
3 Polynomial representations of GLn /
by Green, J. A.
4 Simple singularities and simple algebraic groups /
by Slodowy, Peter.
5 Toroidal compactification of Siegel spaces /
by Namikawa, Yukihiko,
6 Arithmetic groups /
by Humphreys, James E.
7 Integral representations /
by Reiner, Irving.
8 Homology of classical groups over finite fields and their associated infinite loop spaces /
by Fiedorowicz, Zbigniew,
9 Invariant theory /
by Springer, T. A.
10 Weil's representation and the spectrum of the metaplectic group /
by Gelbart, Stephen S.,
11 Conjugacy classes in algebraic groups.
by Steinberg, Robert,
12 Conjugacy classes in algebraic groups.
by Steinberg, Robert,
13 Buildings of spherical type and finite BN-pairs.
by Tits, Jacques.
14 Construction de séries discrètes p-adiques :
by Gérardin, Paul,
15 Linear Algebraic Groups
by Borel, Armand
16 Algebraic groups :
17 Algebraic Geometry IV
by Parshin, A N. Ed. | Shafarevich, I R. Ed.
18 Classical Groups and K-Theory
by Hahn, Alexander J. | O'Meara, O Timothy
19 A compactification of the Bruhat-Tits building /
by Landvogt, Erasmus,
20 Algebra IV : Infinite Groups, Linear Groups
by Kostrikin, A I. Ed. | Shafarevich, I R. Ed.

Close

Print
Suggest for purchase
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Share

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha