Catalog > Science > Informatique > Logiciel d'application > Stephan Merz & Jun Pang: Formal Methods and Software Engineering (PDF)

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

Support

Couverture du 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.

€57.90

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format PDF ● ISBN 9783319117379 ● Éditeur Stephan Merz & Jun Pang ● Maison d’édition Springer International Publishing ● Publié 2014 ● Téléchargeable 3 fois ● Devise EUR ● ID 6303027 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Stephan Merz Jun Pang

16 941 Ebooks dans cette catégorie

Couverture du Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

The book covers data privacy in depth with respect to data mining, test data management, synthetic data generation etc. It formalizes principles of data privacy that are essential for good anonymizat …

Couverture du Eran Boudjnah: Clean Architecture for Android

Eran Boudjnah: Clean Architecture for Android

"Clean Architecture for Android" was written to help developers apply Clean Architecture to their projects.The book will explain why Clean Architecture is so valuable. It will demonstrate h …

Couverture du Lukasz Gasior: ReSharper Essentials

Lukasz Gasior: ReSharper Essentials

In Detail Re Sharper is one of the best tools that extends Microsoft Visual Studio. It adds a lot of features which increases a developer’s productivity. It started with providing support for C# and …

Couverture du Latifur (University of Texas at Dallas, Richardson, Texas, USA) Khan & Mohammad Mehedy Masud: Big Data Analytics with Applications in Insider Threat Detection

Latifur (University of Texas at Dallas, Richardson, Texas, USA) Khan & Mohammad Mehedy Masud: Big Data Analytics with Applications in Insider Threat Detection

Today »s malware mutates randomly to avoid detection, but reactively adaptive malware is more intelligent, learning and adapting to new computer defenses on the fly. Using the same algorithms that an …

Couverture du Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee - An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee – An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

‘… an engaging book that will empower readers in both large and small software development and engineering organizations to build security into their products. … Readers are armed with firm …

Couverture du Charles W. Kann: Creating Components

Charles W. Kann: Creating Components

Concurrency is a powerful technique for developing efficient and lightning- fast software. For instance, concurrency can be used in common applications such as online order processing to speed proces …

Couverture du Zachary Shute: Advanced JavaScript

Zachary Shute: Advanced JavaScript

Gain a deeper understanding of Java Script and apply it to build small applications in backend, frontend, and mobile frameworks. Key Features

Explore the new ES6 syntax, the event loop, and …

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

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

Couverture du Mike McGrath: C, C++ & C# in easy steps

Mike McGrath: C, C++ & C# in easy steps

C, C++ & C# in easy steps is a comprehensive guide to help you create your own programs in the C, C++ and C# programming languages, combining knowledge from the latest C, C++ and C# books in the In E …

Couverture du Robert C Martin: Proprement codeur, 1CU 36 Mois

Robert C Martin: Proprement codeur, 1CU 36 Mois

Proprement codeur est entierement consacre a la professionnalisation du metier de developpeur de logiciels. Plus que la technique, il privilegie l’attitude. Le livre regorge de conseils, de l’estimat …

Page suivante >>>