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

GAST The Gas-Cooled Solar Tower Technology Program

$109.99

Computational Logic and Set Theory

$54.99

Nuklearmedizin / Nuclear Medicine

$44.99

Place Based Approaches to Sustainability Volume I

$179.99

Dig World

$5.24

Researching Yugoslavia and its Aftermath

$139.99

Algorithms and Models for the Web Graph

$39.99

Culturally Responsive Collection: Immigrant and Refugee Experiences Grades 6-8

$209.00

Encyclopaedia of Mathematics

$219.99

Bildverarbeitung fr die Medizin 2009

$109.00

The Busy Tree

$5.96

Constructing Scalar-Valued Objective Functions

$109.99

Exoskeletons in Rehabilitation Robotics

$84.99

Physiological Plant Ecology II

$169.99

Jugend und Gewalt

$59.99

Architektur der Bauschden

$109.00

Theologies from the Pacific

$139.99

A Brief History of Computing

$54.99

Building Supply Chain Excellence in Emerging Economies

$109.99

Advancing and Consolidating Mathematical Modelling

$179.99

Dynamic Change Management

$84.99

Assessment and Communication of Risk

$99.99

Singapores Park System Master Planning

$159.99

Make It Relevant!

$14.24

Kant and Critique: New Essays in Honor of W.H. Werkmeister

$109.99

Religious Life and English Culture in the Reformation

$54.99

Identification of Materials

$54.99

Anthropogenic Climate Change

$84.99

Toward a New Definition of Health

$39.99

Translating Relational Queries into Iterative Programs

$39.99

Asymptotic Analysis for Integrable Connections with Irregular Singular Points

$29.99

Women in Alternative Finance

$44.99

Whats the Worst Thing You Can Do to Shakespeare?

$39.99

Industrializing Antebellum America

$54.99

A Study of Professional Skepticism

$39.99

Headway in Spatial Data Handling

$329.99

Theory of Couple-Stresses in Bodies with Constrained Rotations

$54.99

Landschaftsarchitekturtheorie

$49.99

Venture Capital and the Corporate Governance of Chinese Listed Companies

$84.99

Clinical Ophthalmic Oncology

$169.99