Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Methods and Software Engineering
Jim Davies
€ 129.53
FREE Delivery in Ireland
Description for Formal Methods and Software Engineering
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 500 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 722.
Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, and documentation. The ICFEM series of conferences aims to bring together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend,andtohelpadvancethestateoftheart.Authorsarestronglyencouraged to make their ideas as accessible as possible, and there is a clear emphasis upon work that promises to bring practical, tangible bene?t: reports of ... Read more
Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, and documentation. The ICFEM series of conferences aims to bring together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend,andtohelpadvancethestateoftheart.Authorsarestronglyencouraged to make their ideas as accessible as possible, and there is a clear emphasis upon work that promises to bring practical, tangible bene?t: reports of ... Read more
Product Details
Format
Paperback
Publication date
2004
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
500
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
500
Place of Publication
Berlin, Germany
ISBN
9783540238416
SKU
V9783540238416
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Methods and Software Engineering