almediah.fr
» » Formal Engineering Methods (Icfem 2000), 3rd IEEE International Conference on

Download Formal Engineering Methods (Icfem 2000), 3rd IEEE International Conference on eBook

by IEEE Computer Society

Download Formal Engineering Methods (Icfem 2000), 3rd IEEE International Conference on eBook
ISBN:
0769508235
Author:
IEEE Computer Society
Category:
Programming
Language:
English
Publisher:
Ieee (October 2000)
EPUB book:
1171 kb
FB2 book:
1267 kb
DJVU:
1652 kb
Other formats
lit lrf lrf docx
Rating:
4.6
Votes:
716


Publication date 30 Nov 2000.

This text on engineering methods covers topics such as: development; structuring; algebraic approaches; verification; formal and informal notations; retrenchment; theory and practice; and animation. Format Paperback 222 pages. Dimensions 216 x 279mm. Publication date 30 Nov 2000. Publication City/Country Piscataway NJ, United States.

International Collaboration.

on Formal Engineering Methods: York, England, September 4-6, 2000. Author IEEE Computer Society Staff, Liu, Shaoying.

Subtitle Third IEEE International Conference on Formal Engineering Methods: York, England, September 4-6, 2000. ISBN13: 9780769508245.

3rd IEEE International Conference on Formal Engineering Methods (ICFEM 2000), York . 22nd International Conference on Software Engineering, pp. 509–520. ACM Press, New York (2000)Google Scholar.

3rd IEEE International Conference on Formal Engineering Methods (ICFEM 2000), York (September 2000)Google Scholar. Hardy, . Martin, . A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems.

Author of Formal Engineering Methods (Icfem 2000). Together, let's build an Open Library for the World. April 29, 2008 History. England) IEEE International Conference on Formal Engineering Methods (3rd : 2000 : York. Would you like to see only ebooks? Formal Engineering Methods (Icfem 2000).

IEEE Computer Society (sometimes abbreviated Computer Society or CS) is a professional society of the Institute of Electrical and Electronics Engineers (IEEE). Its purpose and scope is "to advance the theory, practice, and application of computer and information processing science and technology" and the "professional standing of its members. The CS is the largest of 39 technical societies organized under the IEEE Technical Activities Board.

Computer Society Digital Library & IEEE Xplore™ We pride ourselves on the timely submission of accepted papers to the .

Computer Society Digital Library & IEEE Xplore™ We pride ourselves on the timely submission of accepted papers to the world-class and authoritative Computer Society Digital Library and IEEE Xplore. We ensure that your conference content quickly receives the widest audience. Indexing Upon acceptance into IEEE Xplore your conference publication is submitted for indexing through INSPEC, EI's Engineering Information Index, Compendex, ISI Thomson's Scientific and Technical Proceedings, ISTP/ISI Proceedings, and Current Contents on Diskette. Your publication may also be indexed into specialized indexing services based on its content topic.