IMSc Library catalog › Details for: Verification: theory and practice

Normal view MARC view ISBD view

Verification: theory and practice

By: Dershowitz, Nachum EdMaterial type: Text

TextSeries: Lecture notes in computer science ; 02772Publication details: Berlin ; Springer ; 2003Description: 782ISBN: 3540210024

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)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		50492

Previous								Next
Previous	681 LNCS Algorithms and computation: Proceedings, 13th international symposium, Canada, November 2002	681 LNCS Algorithms and data structures: Proceedings, 8th international workshop,Canada, July-August 2003	681 LNCS Algorithms for memory hierarchies : advanced lectures	681 LNCS Verification: theory and practice	681 LNCS Formal and natural computing : Essays dedicated to Grzegorz Rozenberg	681 LNCS Algorithmic number theory: 5th international symposium, ANTS-V Sydney, Australia, July 7-12, 2002: proceedings	681 LNCS Algebraic and coalgebraic methods in the mathematics of program construction	Next

Essays dedicated to Zohar Manna on the occasion of his 64th birthday.

There are no comments on this title.

to post a comment.