Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

שמור ב:

מידע ביבליוגרפי
Corporate Authors:	International Conference on Formal Engineering Methods Macau, China, SpringerLink (Online service)
מחברים אחרים:	Liu, Zhiming, He, Jifeng
פורמט:	Conference Proceeding ספר אלקטרוני
שפה:	English
סדרה:	Lecture Notes in Computer Science, 4260
נושאים:	Formal methods (Computer science) > Congresses. Software engineering > Congresses.
גישה מקוונת:	Click here to view the full text content
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

תיאור
תיאור פיזי:	1 online resource (379 pages) digital.
ISBN:	9783540474623 9783540474609
ISSN:	0302-9743 ;

פריטים דומים