|
![]() |
|||
|
||||
OverviewThis book constitutes the refereed proceedings of the European Design Science Symposium, EDSS 2012 held in Leixlip, Ireland, in December 2012 which was held in conjunction with the Intel European Research and Innovation Conference, ERIC 2012. The 14 papers (4 invited papers and 10 full papers) presented were carefully reviewed and selected from various submissions. The papers cover the following topics: software, formal logic, rigorous mathematics, informal natural language descriptions. Full Product DetailsAuthor: Markus Helfert , Brian DonnellanPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 2013 ed. Volume: 388 Dimensions: Width: 15.50cm , Height: 1.00cm , Length: 23.50cm Weight: 2.876kg ISBN: 9783319040899ISBN 10: 3319040898 Pages: 171 Publication Date: 06 December 2013 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsSoftware.- Formal logic.- Rigorous mathematics.- Informal natural.- Language descriptions.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |