Normal View MARC View ISBD View

Formal methods : state of the art and new directions /

Authors: Boca, Paul.%editor | Bowen, J. P.%(Jonathan Peter),%1956-%editor | Siddiqi, J. I.%(Jawed I.),%1951-%editor Published by : Springer, (London :) Physical details: xxiii, 273 p. : ill. ; 24 cm. ISBN: 1848827350 Subject(s): Formal methods (Computer science) Year: 2010
Tags from this library:
No tags from this library for this title.
Item type Location Call Number Status Notes Date Due
Book Book AUM Main Library 005.131 F723 (Browse Shelf) Available JBC/2011/10780

Includes bibliographical references.

There are no comments for this item.

Log in to your account to post a comment.

English |