Constitutes the refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security & Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th European Symposium on Research in Computer Security. ...
Constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Formal Aspects in Security & Trust, FAST 2009, held under the auspices of IFIP WG 1.7 in Eindhoven, The Netherlands, in November 2009 as an event of the Formal Methods Week, FMweek 2009. ...
Constitutes the refereed proceedings of the 7th International Conference on Formal Concept Analysis, ICFCA 2009, held in Darmstadt, Germany, in May 2009. This book Includes:: the papers that present results in Formal Concept Analysis & related fields. ...
Offers a text employing the tree method, a formal system of first-order logic. This book allows students to take control of the nuts & bolts of formal logic, & to move on to complex & abstract problems. The tree method is elaborated in steps over five chapters. ...
Constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. This book addresses various issues in formal methods & their applications in software engineering. It features sections on
This book constitutes the thoroughly refereed & peer-reviewed outcome of the Formal Methods & Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods & software testing. ...
Archived Product
Formal Languages And Compilation
This comprehensive book covers the fundamental concepts of formal languages and compilation. It presents the subject in a minimalist way, using illustrated examples throughout and providing pedagogical tools, such as slides for lecturers via website.
RIP - This product is no longer available on our network. It was last seen on 01.01.2015
This page now acts as a permanent archive for this product. Add more information using the comments box below to ensure it can still be found by future generations.
Use our search facility to see if it is available from an alternative contributor.
This comprehensive book covers the fundamental concepts of formal languages & compilation. It presents the subject in a minimalist way, using illustrated examples throughout & providing pedagogical tools, such as slides for lecturers via website.
Reviews/Comments
Add New
Intelligent Comparison
Oooops! We couldn't find anything! Perhaps this product's unique.... Or perhaps we are still looking for comparisons! Click to bump this page and we'll hurry up.
Price History
Oooops! We couldn't find any historical pricing!
Vouchers
No voucher codes found. Do you know a voucher code for this product or supplier? Add it to Insights for others to use.
Facebook
Jargon Buster
Formal - When something is carried out with high standards if etiquette.