Catalog > Science > Informatique > Logiciel d'application > Dominique Mery & Stephan Merz: Integrated Formal Methods (PDF)

Dominique Mery & Stephan Merz
Integrated Formal Methods [PDF ebook]
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Support

Couverture du Dominique Mery & Stephan Merz: Integrated Formal Methods (PDF)

€57.65

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

Langue Anglais ● Format PDF ● ISBN 9783642162657 ● Éditeur Dominique Mery & Stephan Merz ● Maison d’édition Springer Berlin Heidelberg ● Publié 2010 ● Téléchargeable 3 fois ● Devise EUR ● ID 6321649 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

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

Dominique Mery Stephan Merz

16 931 Ebooks dans cette catégorie

Couverture du Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Now in its third edition, this bestseller will appeal to anyone, of any age, who wants to begin coding. Use Coding for Beginners in easy steps to help you quickly create a programming environment on …

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 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 Nakul Shah: Blockchain and DLT

Nakul Shah: Blockchain and DLT

Blockchain secures individual transactions with cryptography, creating a tamper-proof chain. In contrast, distributed ledger technologies cover various technologies that may not adhere strictly to bl …

Couverture du Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce

Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce

The authors provide an understanding of big data and Map Reduce by clearly presenting the basic terminologies and concepts. They have employed over 100 illustrations and many worked-out examples to c …

Couverture du Information Resources Management Association: Big Data: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Big Data: Concepts, Methodologies, Tools, and Applications

Couverture du Alessandro Del Sole: Xamarin with Visual Studio

Alessandro Del Sole: Xamarin with Visual Studio

For any mobile developer, it’s clear that Xamarin knowledge is vital, thanks to the reintroduction of .NET MAUI. This book provides the reader with complete hands-on experience in designing cross-pla …

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 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 Shikha Jain & Kavita Pandey: Code Factory

Shikha Jain & Kavita Pandey: Code Factory

Beginners in the programming world often wander to get some essential books to learn logic building with the help of algorithms, flowcharts, and minor C/Python language code. Addressing this demand, …

Page suivante >>>