Software Engineering: Abstraktion und Modellierung: Band 1 (Texte in
118,75 €
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).
Jetzt bei Ebay:
