Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Normal view MARC view ISBD view

Formal methods in computer science / Jiacun Wang and William Tepfenhart.

By: Wang, Jiacun, 1963- [author.].
Contributor(s): Tepfenhart, William M [author.].
Material type: TextTextPublisher: Boca Raton : Taylor & Francis, a CRC title, part of the Taylor & Francis imprint, a member of the Taylor & Francis Group, the academic division of T&F Informa, plc, 2019Description: pages cm.Content type: text Media type: unmediated Carrier type: volumeISBN: 9781498775328 (paperback : acidfree paper).Subject(s): Formal methods (Computer science)DDC classification: 004.01/51
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments for this item.

Log in to your account to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in


Visitor Counter