10% off all books and free delivery over £40
Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.
Formal Methods and Software Engineering Programming and Software Engineering

Formal Methods and Software Engineering Programming and Software Engineering

By Jin Song Dong, Huibiao Zhu (author)
Part of the Lecture Notes in Computer Science series

Paperback
Not Available

View All Editions

The selected edition of this book is not available to buy right now.
Add To Wishlist
Write A Review

About

Formal Methods and Software Engineering Programming and Software Engineering Synopsis

This book constitutes the refereed proceedings of the 12th International
Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,
November 2010.

The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and mod
el driven engineering, as well as specification and verification.

About This Edition

ISBN: 9783642169007
Publication date: 29th October 2010
Author: Jin Song Dong, Huibiao Zhu
Publisher: Springer an imprint of Springer Berlin Heidelberg
Format: Paperback
Pagination: 712 pages
Series: Lecture Notes in Computer Science
Genres: Software Engineering
Network hardware
Algorithms and data structures
Compilers and interpreters
Computer programming / software engineering

©PTC International Ltd T/A LoveReading is registered in England. Company number: 10193437. VAT number: 270 4538 09. Registered address: 157 Shooters Hill, London, SE18 3HP.
Terms & Conditions | Privacy Policy | Disclaimer