Catalog > Sciences > Computer Science > Application Software > Richard Banach & Kung-Kiu Lau: Formal Methods and Software Engineering (PDF)

Richard Banach & Kung-Kiu Lau
Formal Methods and Software Engineering [PDF ebook]
7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

Support

Cover of Richard Banach & Kung-Kiu Lau: Formal Methods and Software Engineering (PDF)

€57.60

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783540322504 ● Editor Richard Banach & Kung-Kiu Lau ● Publisher Springer Berlin Heidelberg ● Published 2005 ● Downloadable 3 times ● Currency EUR ● ID 6316680 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Richard Banach Kung-Kiu Lau

16,941 Ebooks in this category

Cover of 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 …

Cover of 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 …

Cover of 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 …

Cover of 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 …

Cover of 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 …

Cover of 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 …

Cover of Wayne Murphy: C++ Cookbook

Wayne Murphy: C++ Cookbook

C++ continues to remain relevant despite the advent of many new modern languages. This book dives into the significant features of C++20 ("big four") and C++23, addressing challenges and im …

Cover of 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 …

Cover of 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 …

Cover of Stephen S. Beaver & David Marshall: VMware ESX Essentials in the Virtual Data Center

Stephen S. Beaver & David Marshall: VMware ESX Essentials in the Virtual Data Center

Flexible and efficient, VMware ESX is the tool of choice for enterprise data centers looking to make the most of the latest virtualization methods. However, to date, no single manual provides users w …