Modern Formal Methods and Applications
Edition: 1 edition
Publisher: Springer
Published: February 10, 2006
Language: eng
Format: Hardcover
Number of pages: 197
ISBN-13: 9781402042225
Subjects: Applied mathematics; Cybernetics & systems theory; Science; Science/Mathematics; Chemistry - General; Logic; Logic Design; Formal approach for biological systems; Formal approach for engineering systems; Formal methods; Language specifications; Science / Chemistry / General; Software and hardware specifications; Formal methods (Computer science); Industrial applications; Mâethodes formelles (Informatique)