Description: Please refer to the section BELOW (and NOT ABOVE) this line for the product details - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Title:Software Engineering 1: Abstraction And ModellingISBN13:9783642059391ISBN10:3642059392Author:Bjorner, Dines (Author)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 Binding:Paperback, PaperbackPublisher:SPRINGER NATUREPublication Date:2010-02-12Weight:2.29 lbsDimensions:1.51'' H x 9.21'' L x 6.14'' WNumber of Pages:714Language:English
Price: 99.43 USD
Location: USA
End Time: 2024-11-03T13:48:59.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Software Engineering 1: Abstraction And Modelling
Item Length: 9.3in
Item Width: 6.1in
Author: Dines Bjørner
Publication Name: Software Engineering 1 : Abstraction and Modelling
Format: Trade Paperback
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 2010
Series: Texts in Theoretical Computer Science. an Eatcs Ser.
Type: Textbook
Item Weight: 40.2 Oz
Number of Pages: XL, 714 Pages
