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)

Find us on the map

Powered by Koha