Mathematics of program construction proceedings

By:

Material type: Text

TextLanguage: English Series: Lecture notes in computer science; v 3125Publication details: Berlin Springer-Verlag 2004Description: x,399pISBN:

3-540-22380-0

Subject(s):

DDC classification:

5.1 In61

Summary: Among the topics of the papers addressed are programming theory, programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.

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

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	ISI Library, Kolkata 4th Floor	5.1 In61 (Browse shelf(Opens below))	Available		125953

Total holds: 0

Browsing ISI Library, Kolkata shelves, Shelving location: 4th Floor Close shelf browser (Hides shelf browser)

Previous	No cover image available				No cover image available		No cover image available	Next
Previous	5.1 In61 Concur 2004 - concurrency theory	5.1 In61 Concur 2005 - concurrency theory	5.1 In61 Algebraic methodology and software technology	5.1 In61 Mathematics of program construction	5.1 In61(2) Optimal algorithms : proceedings	5.1 In61(2) Principles and practice of constraint programming : proceedings	5.1 In61(90) Algorithms : proceedings	Next

Among the topics of the papers addressed are programming theory, programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.

There are no comments on this title.

to post a comment.

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

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