IMSc Library catalog › Details for: FM'99--formal methods: World Congress on Formal Methods in the Development of Computing Systems France, September, 1999 : proceedings

Cover image

Normal view MARC view ISBD view

FM'99--formal methods: World Congress on Formal Methods in the Development of Computing Systems France, September, 1999 : proceedings

By: Wing, Jeannette M | Woodcock, Jim | Davies, Jim EdsMaterial type: Text

Text

TextSeries: Lecture notes in computer science ; 01708Publication details: Berlin ; Springer ; 1999Description: 937ISBN: 3540665870Subject(s): Formal methods (Computer science) Congresses. Application software Development Congresses

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		50922

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

Previous								Next
Previous	681 LNCS Advances in cryptology--ASIACRYPT'99: International Conference on the Theory and Application of Cryptology and Information Security, Singapore, November,1999	681 LNCS Algorithms and data structures: 6th International Workshop, WADS'99, Vancouver, Canada, August, 1999	681 LNCS Discrete and computational geometry: Japanese conference, JCDCG'98, Tokyo, Japan, December 9-12, 1998, revised papers	681 LNCS FM'99--formal methods: World Congress on Formal Methods in the Development of Computing Systems France, September, 1999 : proceedings	681 LNCS Fundamentals of computation theory: 12th international symposium, FCT'99, Iasi, Romania, August 30-September 3, 1999 : proceedings	681 LNCS Mathematical foundations of computer science 1999	681 LNCS Randomization, approximation, and combinatorial optimization: algorithms and techniques 3rd International Workshop on Randomization & Approximation Techniques in Computer Science,	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