IMSc Library catalog › Details for: Program development by specification and transformation : The PROSPECTRA methodology, language family, and system

Cover image

Normal view MARC view ISBD view

Program development by specification and transformation : The PROSPECTRA methodology, language family, and system

By: Hoffmann, Berthold. Ed | Kreig-Bruckner, Bernd. EdMaterial type: Text

Text

TextSeries: Lecture notes in computer science ; 00680Publication details: Berlin ; Springer Verlag ; 1993Description: 623ISBN: 354056733XSubject(s): Prospectra Methodology Language Family System LNCS 680

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 LNCS (Browse shelf (Opens below))		Available		30647

Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	681 LNCS Automata, Languages and Programming	681 LNCS Application and Theory of Petri Nets 1993 : 14th International conference, Chicago, Illinois, USA, June 1993	681 LNCS Computer Aided Verification : 5th International conference, CAV,93, Elounda, Greece, June/July 1993, Proceedings	681 LNCS Program development by specification and transformation : The PROSPECTRA methodology, language family, and system	681 LNCS Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European conference ECSQARU'93, Proceedings	681 LNCS Computer Science Logic : 6th workshop, CSL '92, San Miniato, Italy, September/October 1992, Selected paers	681 LNCS Computational Logic and Proof Theory : Third Kurt Godel colloquium, KGC,93, Brno, Czech Republic, August 1993, Proceedings	Next

There are no comments on this title.

to post a comment.

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