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

Software Engineering 1

Software Engineering 1

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

The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B, VDM-SL, and Z are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional), imperative, and concurrent (parallel) specification programming. Finally, the volume contains a comprehensive glossary of software engineering, and extensive indexes and references. These volumes are suitable for self-study by practicing software engineers and for use in university undergraduate and graduate courses on software engineering. Lecturers will be supported with a comprehensive guide to designing modules based on the textbooks, with solutions to many of the exercises presented, and with a complete set of lecture slides.

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

Single Product Purchase

$79.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
$79.99 $79.99

$79.99
See Site In stock Visit Store

Similar Products

Quantitation in Cardiology

$54.99

Optische Eigenschaften von Metallen und Legierungen

$34.99

Das Literarische Werk Hans Arps 1903-1923

$79.99

Public Interest and Market Pressures

$44.99

Translating across Sensory and Linguistic Borders

$179.99

Die schwere Staublunge in der Versicherungsgesetzgebung

$59.99

High Performance Integer Arithmetic Circuit Design on FPGA

$109.99

Natural Additives in Foods

$169.99

Ablauforientiertes Projektmanagement

$84.99

Understanding China's Economy

$109.99

My Familly / Mi Familia: Here, Kitty, Kitty! / Ven, gatita, ven!

$5.21

Palliative Care for Chronic Cancer Patients in the Community

$119.00

Islamism and Post-Islamism in Iran

$129.99

Geoinformatics and Data Analysis

$199.99

Post-Innovation Performance

$129.00

Buckling of Shells

$169.99

My Books Summer & Summer Express Workbook Grade 4 Fiction/Nonfiction 10-Book Bundle

$53.95

Yeast Metabolic Engineering

$109.99

Technology and Responsibility

$109.99

Infektabwehr bei Hmoblastosen

$34.99

Output Regulation and Cybersecurity of Networked Switched Systems

$129.00

Yo quiero crecer

$25.95

Polyamine Protocols

$84.99

Soft Computing and its Engineering Applications

$99.99

Community Unionism

$54.99

Numerical and Physical Aspects of Aerodynamic Flows IV

$84.99

Quick Guide UX Management

$29.99

Novae and Related Stars

$39.99

An Introduction to the Study of the Law of the Constitution

$189.00

I Domains in Integrins

$169.99

Vernderungsintelligenz

$89.99

Dimension-Based Quality Analysis and Prediction for Videotelephony

$39.99

Progress in Botany 71

$329.99

Responsive Systems for Active Vibration Control

$54.99

The Power Makers' Challenge

$84.99

Th Thorium

$549.99

Abstracts of the 65th congress of the German Society of Neurology

$54.99

Investitionscontrolling

$39.99

Trends in Inflammatory Bowel Disease Therapy 1999

$129.00

Data Envelopment Analysis: Theory, Methodology, and Applications

$219.99