Untertitel:
Abstraction and Modelling
Herausgeber:
Springer, Berlin
This well written first volume covers the basic principles and techniques of abstraction and modeling. It starts by providing the reader with a sound but simple basis for discrete mathematics before moving on to teach basic property and model-oriented specification principles and techniques. In addition, the reader will learn the essentials of functional, imperative, and parallel specification programming.
Three-volume set brings reader from basic principles to very advanced principles and techniques Suitable for undergraduate and graduate students in software engineering Emphasis on presenting application domains both informally and formally Includes supplementary material: sn.pub/extras Request lecturer material: sn.pub/lecturer-material
Inhalt
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!.
Leider konnten wir für diesen Artikel keine Preise ermitteln ...
billigbuch.ch sucht jetzt für Sie die besten Angebote ...
Die aktuellen Verkaufspreise von
6 Onlineshops werden
in Realtime abgefragt.
Sie können das gewünschte Produkt anschliessend direkt beim Anbieter Ihrer Wahl bestellen.
# |
Onlineshop |
Preis CHF |
Versand CHF |
Total CHF |
|
|
1 |
Seller |
0.00 |
0.00
|
0.00 |
|
|
Onlineshops ohne Resultate: