Models, algebras and logic of engineering software

Author(s)

• Broy, M.
• Pizka, Markus
• NATO Advanced Study Insitute on Models, Algebras and Logic of Engineering Software

Bibliographic Information

Models, algebras and logic of engineering software

edited by Manfred Broy and Markus Pizka

（NATO science series, ser. 3 . Computer and Systems sciences ; v. 191）

IOS Press , Ohmsha, c2003

• : IOS Press
• : Ohmsha

Note

"Published in cooperation with NATO Scientific Affairs Division"

"Proceedings of the NATO Advanced Study Insitute on Models, Algebras and Logic of Engineering Software, Marktoberdorf, Germany, 30 July - 11 August 2002"--T.p. verso

Includes bibliographical references and index

Details

• NCID: BA64826773
• ISBN:
  • 1586033425
  • 4274905896
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam,Tokyo
• Pages/Volumes: xi, 403 p.
• Size: 25 cm
• Parent Bibliography ID:
  • BA40559140