Library of American University of Madaba

Normal View MARC View ISBD View

Formal methods : state of the art and new directions / Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi, editors. - London : Springer, 2010. - xxiii, 273 p. : ill. ; 24 cm.

Includes bibliographical references.

ISBN: 9781848827356 1848827350

Subjects--Topical Terms:
Formal methods (Computer science)

LC Class. No.: QA76.9.F67 / F665 2010

Dewey Class. No.: 005.131 / F723