Normal view MARC view ISBD view

Automated Theorem Proving in Software Engineering

Material type: materialTypeLabel

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

Item type	Current location	Call number	Status	Date due	Barcode
Books		005.1 SCH (Browse shelf)	Available		002805

Previous								Next
Previous	005.1 SAR Advances in computer science and engineering : 13th international csi computer conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 revised selected papers	005.1 SCE Programming ADO	005.1 SCE Programming ADO	005.1 SCH Automated Theorem Proving in Software Engineering	005.1 SCH Software engineering	005.1 SCH Applying use cases: A practical guide	005.1 SED Algorithms	Next

There are no comments for this item.

Koha online