Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
Software Engineering 1 : Abstraction and Modelling
SR 514
Inclusive of VAT
SR31Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR514
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
Opening.- Discrete Mathematics.- Numbers.- Sets.- Cartesians.- Types.- Functions.- A ?-Calculus.- Algebras.- Mathematical Logic.- Simple RSL.- Atomic Types and Values in RSL.- Function Definitions in RSL.- Property-Oriented and Model-Oriented Abstraction.- Sets in RSL.- Cartesians in RSL.- Lists in RSL.- Maps in RSL.- Higher-Order Functions in RSL.- Specification Types.- Types in RSL.- Specification Programming.- Applicative Specification Programming.- Imperative Specification Programming.- Concurrent Specification Programming.- And So On!.- Etcetera!.
Report an issue with this product.
