Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
2013 ed.
Book Details
Format
Paperback / softback
Book Series
Lecture Notes in Computer Science
ISBN-10
3642405606
ISBN-13
9783642405600
Edition
2013 ed.
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Country of Manufacture
DE
Country of Publication
GB
Publication Date
Sep 12th, 2013
Print length
321 Pages
KSh 8,100.00
Currently unavailable
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.
Get Software Engineering and Formal Methods by Mario Bravetti at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG and it has 321 pages.
Customers Who Bought This Also Bought
Quality, Reliability, Security and Robustness in Heterogeneous Systems
KSh 8,100.00
Formal Description Techniques and Protocol Specification, Testing and Verification
KSh 32,400.00
Electronic Participation
KSh 8,100.00
Intelligent Networks and Intelligence in Networks
KSh 32,400.00
Iterative Learning Stabilization and Fault-Tolerant Control for Batch Processes
KSh 16,200.00
Globalizing Domain-Specific Languages
KSh 6,300.00
Sustainable and Energy Efficient Computing Paradigms for Society
KSh 16,200.00
Digital Coherent Optical Systems
KSh 13,500.00
Analyzing Digital Discourses
KSh 25,200.00
Information Technology in Disaster Risk Reduction
KSh 16,200.00
Sustainable and Energy Efficient Computing Paradigms for Society
KSh 16,200.00
Artificial Intelligence Applications and Innovations
KSh 27,000.00
More in This Genre
Quality, Reliability, Security and Robustness in Heterogeneous Systems
KSh 8,100.00
Formal Description Techniques and Protocol Specification, Testing and Verification
KSh 32,400.00
Electronic Participation
KSh 8,100.00
Intelligent Networks and Intelligence in Networks
KSh 32,400.00
Iterative Learning Stabilization and Fault-Tolerant Control for Batch Processes
KSh 16,200.00
Globalizing Domain-Specific Languages
KSh 6,300.00
