Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Software Design, Testing & Engineering   Logic

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)


Super Savings Item! Save 38% on the Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series) by Springer at EMS Linux. MPN: biography. Hurry! Limited time offer. Offer valid only while supplies last. This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification,


Product Description

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical toolbox provides a convenient language for precisely formulating the concepts involved in software specification and development. Once formally defined, these notions become subject to mathematical investigation, and this interplay between mathematics and software engineering yields results that are mathematically interesting, conceptually revealing, and practically useful.

 

The theory presented by the authors has its origins in work on algebraic specifications that started in the early 1970s, and their treatment is comprehensive. This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal specification and development; and proof methods.

 

While the book is self-contained, mathematical maturity and familiarity with the problems of software engineering is required; and in the examples that directly relate to programming, the authors assume acquaintance with the concepts of functional programming. The book will be of value to researchers and advanced graduate students in the areas of programming and theoretical computer science.

Additional Information

Manufacturer:Springer
Part Number:biography
Publisher:Springer
Studio:Springer
MPN:biography
EAN:9783642173356
Item Weight:2.1 pounds
Item Size:1.31 x 9.21 x 9.21 inches
Package Weight:2.38 pounds
Package Size:6.46 x 1.57 x 1.57 inches

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series) by Springer

Buy Now:
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Brand: Springer
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$99.99
$62.60
You Save: 37%


Quantity:  

 


View More In Logic.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9781719528405, isbn: 1719528403,
MACHINE LEARNING - PYTHONBuy the Paperback version of this book, and get the Kindle eBook version included for FREE! Do You Want to Become An Expert Of Machine Learning?? Start Getting this Book and Follow My Step by Step Explanations! Click Add To ...

mpn: 41783296, ean: 9783895784453, isbn: 3895784451,
Addressing students and engineers, but also hobby engineers, this practical guide will help to easily and cost-effectively implement technical solutions in home and installation technology, as well as small-scale automation solutions in machine and p...

ean: 9788131713662, isbn: 8131713660,
The Book is brand new.Guaranteed customer satisfaction....

mpn: Illustrations, ean: 9789810245344, isbn: 9810245343,
There are many uncertainties in the real world. Fuzzy theory treats a kind of uncertainty called fuzziness, where it shows that the boundary of yes or no is ambiguous and appears in the meaning of words or is included in the subjunctives or recogniti...

ean: 9781402070891, isbn: 1402070896,
xv From the Old to the New xvii Acknowledgments xxi 1 Verilog – A Tutorial Introduction 1 Getting Started 2 A Structural Description 2 Simulating the binaryToESeg Driver 4 Creating Ports For the Module 7 Creating a Testbench For a Module 8 11 Behav...

ean: 9780072951769, isbn: 0072951761,
Introduction to Logic Design by Alan Marcovitz is intended for the first course in logic design, taken by computer science, computer engineering, and electrical engineering students. As with the first edition, the new edition is distinguised by a cle...

mpn: 56 black & white illustrations, 51 black, ean: 9783642084744, isbn: 3642084745,
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data ...

ean: 9783319769523, isbn: 3319769529,
This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2018, CT-RSA 2018, held in San Francisco, CA, USA, in March 2018.The 26 papers presented in this volume were carefully reviewed and selected from 79 sub...

ean: 9780273752219, isbn: 0273752219,
A core or supplementary text for one-semester, freshman/sophomore-level introductory courses taken by programming majors in Problem Solving for Programmers, Problem Solving for Applications, any Computer Language Course, or Introduction to Programmin...

ean: 9781941071847, isbn: 1941071848,
In a reprint of Steve Sandler's classic technical book, PWM models and power supply simulation solutions are described in depth--with special attention paid to practical magnetic components. All common topologies are discussed, including linear, buc...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.