Ebook > Sains > Sains Komputer > Perisian Aplikasi > Stephan Merz & Jun Pang: Formal Methods and Software Engineering (PDF)

Stephan Merz & Jun Pang
Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Sokongan

perlindungan daripada Stephan Merz & Jun Pang: Formal Methods and Software Engineering (PDF)

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

€56.53

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format PDF ● ISBN 9783319117379 ● Penyunting Stephan Merz & Jun Pang ● Penerbit Springer International Publishing ● Diterbitkan 2014 ● Muat turun 3 kali ● Mata wang EUR ● ID 6303027 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Stephan Merz Jun Pang

15,836 Ebooks dalam kategori ini

perlindungan daripada Lamis Chebbi: Reactive Patterns with RxJS and Angular Signals

Lamis Chebbi: Reactive Patterns with RxJS and Angular Signals

<p><b>Leverage the reactive paradigm with Rx JS and signals in your Angular applications using common patterns and techniques designed for real-world use …

perlindungan daripada Badr Nasslahsen: Spring Security

Badr Nasslahsen: Spring Security

<p><b>Leverage the power of Spring Security 6 to protect your modern Java applications from hackers</b></p><h4>Key Features</h4><ul><li>Architect …

perlindungan daripada Ulises Gascon: Node.js for Beginners

Ulises Gascon: Node.js for Beginners

<p><b>Build your first production-grade web application from scratch using Node.js, Express, Mongo DB, authentication, and testing with the help of expert guidance and step-by-step …

perlindungan daripada Ana Alice Baptista & Mariana Curado Malta: Developing Metadata Application Profiles

Ana Alice Baptista & Mariana Curado Malta: Developing Metadata Application Profiles

perlindungan daripada Ivica Coric & Drazena Gaspar: Bridging Relational and NoSQL Databases

Ivica Coric & Drazena Gaspar: Bridging Relational and NoSQL Databases

perlindungan daripada Anita Gehlot & Lovi Raj (Lovely Professional University, Jalandhar, India) Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Anita Gehlot & Lovi Raj (Lovely Professional University, Jalandhar, India) Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Getting Started for Internet of Things with Launch Pad and ESP8266 provides a platform to get started with the Ti launch pad and Io T modules for Internet of Things applications. The book provides …

perlindungan daripada Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. This book aims at …

perlindungan daripada Li Wei: C++ Template Metaprogramming in Practice

Li Wei: C++ Template Metaprogramming in Practice

Using the implementation of a deep learning framework as an example, C++ Template Metaprogramming in Practice: A Deep Learning Framework explains the application of metaprogramming in a relatively la …

perlindungan daripada Dave Eberly: Robust and Error-Free Geometric Computing

Dave Eberly: Robust and Error-Free Geometric Computing

This is a how-to book for solving geometric problems robustly or error free in actual practice. The contents and accompanying source code are based on the feature requests and feedback received from …

perlindungan daripada Robert McGrath & Jennifer Priestley: Closing the Analytics Talent Gap

Robert McGrath & Jennifer Priestley: Closing the Analytics Talent Gap

How can we recruit out of your program? We have a project – how do we reach out to your students? If we do research together who owns it? We have employees who need to ‘upskill’ in analytics – can yo …

Muka surat seterusnya >>>