Catalog > Scienza > Informatica > Software applicativo > 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]

Supporto

Copertina di 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

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato PDF ● Pagine 256 ● ISBN 9789813104556 ● Casa editrice World Scientific Publishing Company ● Pubblicato 1993 ● Scaricabile 3 volte ● Moneta EUR ● ID 8152738 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Wolz Dietmar Wolz Ehrig Hartmut Ehrig Claben Ingo Claben

16.746 Ebook in questa categoria

Copertina di 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 …

Copertina di Max Wainewright: Coding with Scratch - Make 3D Games & Graphics

Max Wainewright: Coding with Scratch – Make 3D Games & Graphics

Coding with Scratch – Make 3D Games & Graphics starts by showing you how to make 3D graphics and then, step-by-step, it takes you through to making 3D games. Try the challenges and mods and make your …

Copertina di Mayur Borse: Modern Web Development with Deno

Mayur Borse: Modern Web Development with Deno

Deno is a web platform that offers capabilities for Java Script and Type Script and supports modern web standards. It is a straightforward, up-to-date, secure runtime environment for web developers.T …

Copertina di Pooja Kelgaonkar: Mastering Snowflake Platform

Pooja Kelgaonkar: Mastering Snowflake Platform

Handling ever evolving data for business needs can get complex. Traditional methods create bulky and costly-to-maintain data systems. Here, Snowflake emerges as a cost-effective solution, catering to …

Copertina di Dr. Pratiyush Guleria: Basics of Python Programming

Dr. Pratiyush Guleria: Basics of Python Programming

The basics of Python are the book’s main focus. With practical examples, students will understand the fundamentals of Python. This book is designed in a way that should make every example understanda …

Copertina di M Counihan: Fortran 95

M Counihan: Fortran 95

This is the second edition of the first introductory textbook written for the FORTRAN 90 standard. It remains suitable for the novice scientific programmer, drawing on a larger number of examples and …

Copertina di 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 …

Copertina di Deepankar Maitra: Beginner''s Guide to Code Algorithms

Deepankar Maitra: Beginner”s Guide to Code Algorithms

Do you have creative ideas that you wish you could transform into code? Do you want to boost your problem solving and logic skills? Do you want to enhance your career by adopting an algorithmic minds …

Copertina di 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 …

Copertina di Arun Kumar Sangaiah & Vijayan Sugumaran: Computational Intelligence Applications in Business Intelligence and Big Data Analytics

Arun Kumar Sangaiah & Vijayan Sugumaran: Computational Intelligence Applications in Business Intelligence and Big Data Analytics

There are a number of books on computational intelligence (CI), but they tend to cover a broad range of CI paradigms and algorithms rather than provide an in-depth exploration in learning and adaptiv …

Pagina successiva >>>