Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Fundamentals of Algebraic Specification 2

Fundamentals of Algebraic Specification 2

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540517993
Condition
New
Product Description

Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software systems have gained considerable importance in recent years. They have not only played a central role in the theory of data type specification, but meanwhile have had a remarkable influence on programming language design, system architectures, arid software tools and environments. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of computer science where algebraic techniques are the subject or are used with advantage on a conceptual level. Such a basis, however, we do not regard to be a synopsis of all the different approaches and achievements but rather a consistently developed theory. Such a theory should mainly emphasize elaboration of basic concepts from one point of view and, in a rigorous way, reach the state of the art in the field. We understand fundamentals in this context as: 1. Fundamentals in the sense of a carefully motivated introduction to algebraic specification, which is understandable for computer scientists and mathematicians. 2. Fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs. 3. Fundamentals in the sense of concepts from computer science, which are introduced on a conceptual level and formalized in mathematical terms.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Globales Life-Cycle-Controlling

$44.99

Meta-Smith Charts and Their Applications

$29.99

Methodik der Softwareentwicklung

$29.99

Seekriegsrecht und Seekriegfhrung im Weltkriege

$59.99

Lieferantenmanagement in der Automobilindustrie

$74.99

Vision that matters

$49.99

Politics and Political Culture in the Court Masque

$109.99

Redrawing the Map of Europe

$59.99

Kausalanalyse makrokonomischer Zusammenhnge mit latenten Variablen

$59.99

Aging and Drug Therapy

$39.99

Discrete Calculus

$199.99

Advanced Topics in Term Rewriting

$54.99

Soziologie und Politische Bildung

$59.99

Computer Networks

$84.99

Progress in Industrial Mathematics at ECMI 2000

$169.99

Number Theory and Applications

$549.99

Narratives in Research and Interventions on Cyberbullying among Young People

$129.00

Ocean Circulation Theory

$329.99

Wilhelm Conrad Rntgen und Die Geschichte der Rntgenstrahlen

$54.99

Advances in Robot Design and Intelligent Control

$219.99

Entzerrungsstrategien bei der Prfung geschtzter Werte

$59.99

Redefining Well-Being in Nations and Organizations

$84.99

Proteases in Apoptosis: Pathways, Protocols and Translational Advances

$109.99

Heat Transfer in Subsonic Separated Flows

$159.99

Association Analysis Techniques and Applications in Bioinformatics

$139.00

More Than One

$4.46

Pattern Recognition

$79.99

Modern Notions of Civilization and Culture in China

$54.99

Perspektiven der marktorientierten Unternehmensfhrung

$69.99

The European External Action Service

$89.00

Verification, Model Checking, and Abstract Interpretation

$54.99

Druck

$17.99

Excel unter Windows

$69.99

Berufsforschung

$59.99

The Nuclear Lion

$54.99

Electrochemistry V

$39.99

The International Criminal Court An International Criminal World Court?

$129.99

Northern Lights on Civic and Citizenship Education

$49.99

Einfhrung in den Jugoslawischen Marxismus-Leninismus

$39.99

Interventions in Pulmonary Medicine

$219.00