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 Date Due
Book Book AUM Main Library 005.131 F723 (Browse Shelf) Available

Includes bibliographical references.

There are no comments for this item.

Log in to your account to post a comment.