Code: 01651250

Software Engineering 1

Name: Software Engineering 1
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01651250
Price: 99.82 EUR
Availability: InStock
Author: Dines Bj
ISBN: 9783642059391

by Dines Bj

Language: English
Binding: Paperback
Number of pages: 714
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
More about this

99.82 €

Low in stock at our supplier
Shipping in 11 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Modelisation des proprietes thermomecaniques des materiaux abradables
59.68 €
Buy
Rapport Sur L'Exploration Archeologique De La Cilicie Et De La Petite-Armenie Pendant Les Annees 1852-1853 (1854)
15.19 €
Buy
Successfully Implementing Microsoft Dynamics (TM)
55.93 €
Buy
Özetleriyle 100 Temel Eser
13.16 € -5 %
Buy
Chief Concerns of Man for Time and Eternity
32.83 € -2 %
Buy
House of Robots 2. Robots descontrolats
18.94 €
Buy
Practice with Prefixes
31.31 € -9 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 241 loyalty points

Book synopsis

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.