Image from Google Jackets

Formal description techniques, IX : theory, application and tools : IFIP TC6 / 6.1 international conference on formal description techniques IX/Protocol specification, testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996 edited by Reinhard Gotzhein and Jan Bredereke

Contributor(s): Publication details: London published by Chapman & Hall on behalf of the International Federation for Information Processing c1996Description: vii, 516 p. : ill. ; 25 cmISBN:
  • 9780412794902
ISSN:
  • 2001275409
Subject(s): DDC classification:
  • 004.62 NWR
Item type: Books
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Current library Call number Status Date due Barcode
Anna Centenary Library 004.62 NWR (Browse shelf(Opens below)) Available 210713

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Find us on the map

Anna Centenary Library
Copyright © 2023 . All Rights Reserved.
Maintained by 2cqr automation private limited, Chennai..

Powered by Koha