Fundamental Approaches to Software Engineering

19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Cover of the book Fundamental Approaches to Software Engineering by , Springer Berlin Heidelberg
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783662496657
Publisher: Springer Berlin Heidelberg Publication: March 22, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783662496657
Publisher: Springer Berlin Heidelberg
Publication: March 22, 2016
Imprint: Springer
Language: English

This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.
The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They were organized in topical sections named: concurrent and distributed systems; model-driven development; analysis and bug triaging; probabilistic and stochastic systems; proof and theorem proving; and verification. 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.
The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They were organized in topical sections named: concurrent and distributed systems; model-driven development; analysis and bug triaging; probabilistic and stochastic systems; proof and theorem proving; and verification. 

More books from Springer Berlin Heidelberg

Cover of the book Qualitätsmanagement in der Luftfahrtindustrie by
Cover of the book Organic Solid-State Lasers by
Cover of the book Knee Surgery using Computer Assisted Surgery and Robotics by
Cover of the book Astronomical Measurement by
Cover of the book Small Bowel Radiology by
Cover of the book Spatial Ecology of Desert Rodent Communities by
Cover of the book AE-Manual der Endoprothetik by
Cover of the book Atlas of Postsurgical Neuroradiology by
Cover of the book Geographic Information and Cartography for Risk and Crisis Management by
Cover of the book Plasticity of Pressure-Sensitive Materials by
Cover of the book Zivil- und strafrechtliche Unternehmensverantwortung für Menschenrechtsverletzungen by
Cover of the book Phosphodiesterases as Drug Targets by
Cover of the book Growth Mechanisms and Novel Properties of Silicon Nanostructures from Quantum-Mechanical Calculations by
Cover of the book Intuitionistic Preference Modeling and Interactive Decision Making by
Cover of the book International Environmental Management Benchmarks by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy