Catalog > Nauka > Informatyka > Oprogramowanie użytkowe > Michael Butler & Michael G. Hinchey: Formal Methods and Software Engineering (PDF)

Michael Butler & Michael G. Hinchey
Formal Methods and Software Engineering [PDF ebook]
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Wsparcie

Pokrywa Michael Butler & Michael G. Hinchey: Formal Methods and Software Engineering (PDF)

€57.60

Kup ten ebook, a 1 kolejny otrzymasz GRATIS!

Język Angielski ● Format PDF ● ISBN 9783540766506 ● Redaktor Michael Butler & Michael G. Hinchey ● Wydawca Springer Berlin Heidelberg ● Opublikowany 2007 ● Do pobrania 6 czasy ● Waluta EUR ● ID 6377336 ● Ochrona przed kopiowaniem Adobe DRM

Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

Michael Butler Michael G. Hinchey Maria M. Larrondo-Petrie

16 941 Ebooki w tej kategorii

Pokrywa C. Ravindranath Pandian: Software Metrics

C. Ravindranath Pandian: Software Metrics

<P> The modern field of software metrics emerged from the computer modeling and 'statistical thinking’ services of the 1980s. As the field evolved, metrics programs were integrated with project …

Pokrywa 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 …

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

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

Pokrywa 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 …

Pokrywa Timur Yaroshenko: Design Patterns in .NET

Timur Yaroshenko: Design Patterns in .NET

A comprehensive guide that takes you on a journey through the world of design patterns in .NET, empowering you to create software that is not only robust and efficient but also maintainable, scalable …

Pokrywa Donald K. Burleson: Oracle Internals

Donald K. Burleson: Oracle Internals

If you are a typical Oracle professional, you don”t have the luxury of time to keep up with new technology and read all the new manuals to understand each new feature of the latest release from Orac …

Pokrywa Brian Lipp & Shubhadeep Roychowdhury: The Data Wrangling Workshop

Brian Lipp & Shubhadeep Roychowdhury: The Data Wrangling Workshop

A beginner”s guide to simplifying Extract, Transform, Load (ETL) processes with the help of hands-on tips, tricks, and best practices, in a fun and interactive way Key Features

Explore data …

Pokrywa Saad Motahhir: Smart Embedded Systems and Applications

Saad Motahhir: Smart Embedded Systems and Applications

This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software …

Pokrywa Dan Aldred: Coding with the micro

Dan Aldred: Coding with the micro

A new title in the Quest Kids(R) children’s series that was launched by In Easy Steps in 2018, designed to make learning fun for children. Coding with the micro:bit – Create Cool Programming Projects …

Pokrywa Pam Lahoud & Pedro Lopes: Learn T-SQL Querying

Pam Lahoud & Pedro Lopes: Learn T-SQL Querying

Troubleshoot query performance issues, identify anti-patterns in code, and write efficient T-SQL queries Key Features

Discover T-SQL functionalities and services that help you interact with …

Następna strona >>>