Normal view MARC view ISBD view

Verification of object-oriented software: The KeY approach

Material type: materialTypeLabel

BookSeries: Lecture notes in artificial intelligence, 4334.Publisher: Berlin, Heidelberg Springer-Verlag 2007Description: xxix, 658p.ISBN: 978-3-540-68977-5.

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

average rating: 0.0 (0 votes)

Item type	Current location	Call number	Status	Date due	Barcode
		005.14 BEC (Browse shelf)	Available		505428

There are no comments for this item.

IIITB Library