Normal view MARC view ISBD view

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

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 - London published by Chapman & Hall on behalf of the International Federation for Information Processing c1996 - vii, 516 p. : ill. ; 25 cm

Includes bibliographical references and index

ISBN: 9780412794902

ISSN: 2001275409

Subjects--Topical Terms:
Computer network protocols - Congresses
Computer programming - Congresses
Electronic data processing - Distributed processing - Congresses
Formal languages - Congresses
Formal methods (Computer science)

Dewey Class. No.: 004.62 NWR

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

Find us on the map