Formal descriptions of developing systems /

Saved in:
Bibliographic Details
Meeting name:NATO Advanced Research Workshop on Formal Descriptions of Developing Systems (2002 : Manoa, Hawaii)
Imprint:Dordrecht ; Boston : Kluwer Academic Publishers : Published in cooperation with NATO Scientific Affairs Division, c2003.
Description:xiv, 306 p. : ill. ; 25 cm.
Language:English
Series:NATO science series. Series II, Mathematics, physics, and chemistry ; v. 121
Subject:
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/5042283
Hidden Bibliographic Details
Other authors / contributors:Nation, J. B. (James Bryant), 1948-
ISBN:1402015674 (alk. paper)
Notes:Results of the NATO Workshop, "Formal Descriptions of Developing Systems", held at the University of Hawaii at Manoa, Oct. 2-6, 2002.
Includes bibliographical references and index.