Catalog > Nauka > Informatyka > Oprogramowanie użytkowe > Wolz Dietmar Wolz & Ehrig Hartmut Ehrig: Algebraic Specification Techniques And Tools For Software Development: The Act Approach (PDF)

Wolz Dietmar Wolz & Ehrig Hartmut Ehrig
Algebraic Specification Techniques And Tools For Software Development: The Act Approach [PDF ebook]

Wsparcie

Pokrywa Wolz Dietmar Wolz & Ehrig Hartmut Ehrig: Algebraic Specification Techniques And Tools For Software Development: The Act Approach (PDF)

The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin.

€28.34

Kup ten ebook, a 1 kolejny otrzymasz GRATIS!

Język Angielski ● Format PDF ● Strony 256 ● ISBN 9789813104556 ● Wydawca World Scientific Publishing Company ● Opublikowany 1993 ● Do pobrania 3 czasy ● Waluta EUR ● ID 8152738 ● Ochrona przed kopiowaniem Adobe DRM

Wymaga czytnika ebooków obsługującego DRM

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

Wolz Dietmar Wolz Ehrig Hartmut Ehrig Claben Ingo Claben

16 941 Ebooki w tej kategorii

Pokrywa Gavin Powell: Database Modeling Step by Step

Gavin Powell: Database Modeling Step by Step

With the aim of simplifying relational database modeling, Database Modeling Step-by-Step presents the standard approach to database normalization and then adds its own approach, which is a more simpl …

Pokrywa Mohapatra Hitesh & Rath Prof. Amiya Kumar: Fundamentals of Software Engineering

Mohapatra Hitesh & Rath Prof. Amiya Kumar: Fundamentals of Software Engineering

Practical Handbook to understand the hidden language of computer hardware and software DESCRIPTIONThis book teaches the essentials of software engineering to anyone who wants to become an active and …

Pokrywa Jimmy Russell: 101 Amazing Atari 2600 Facts

Jimmy Russell: 101 Amazing Atari 2600 Facts

In this, the first title in Jimmy Russell’s Games Console History series, we learn 101 amazing facts about Atari’s seminal 2600, the first truly popular home family computer games system. The facts c …

Pokrywa Donald J. Reifer: Software Maintenance Success Recipes

Donald J. Reifer: Software Maintenance Success Recipes

Software Maintenance Success Recipes identifies actionable formulas for success based on in-depth analysis of more than 200 real-world maintenance projects. It details the set of factors that are usu …

Pokrywa Scott Meyers: Effective C++ Digital Collection

Scott Meyers: Effective C++ Digital Collection

Scott Meyers’s seminal C++ books– Effective C++ , More Effective C++ , and Effective STL –have been immensely helpful to hundreds of thousands of C++ programmers. All three are finally available toge …

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

Pokrywa Elvis Foster & Bradford Towle Jr.: Software Engineering

Elvis Foster & Bradford Towle Jr.: Software Engineering

Software Engineering: A Methodical Approach (Second Edition) provides a comprehensive, but concise introduction to software engineering. It adopts a methodical approach to solving software engineerin …

Pokrywa Venkata Rao Dr. Edara: Factors That Impact Software Project Success in Offshore Information Technology (IT) Companies

Venkata Rao Dr. Edara: Factors That Impact Software Project Success in Offshore Information Technology (IT) Companies

Information technology (IT) projects are unsuccessful at a rate of 65% to 75% annually, in spite of those undertaking these projects employing the latest technologies and spending significant amount …

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

Pokrywa Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …

Następna strona >>>