Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
BücherAngebote / Angebote:
CafeOBJ is an industrial-strength modern algebraic specification language. This book presents not only a formal definition of the language and its semantics, but also methodologies for specification and verification in CafeOBJ, with emphasis on concurrent object composition and modularity.
Folgt in ca. 15 Arbeitstagen
Preis
65,00 CHFVerfügbarkeit:
LieferbarArtikel, die Sie kürzlich angesehen haben
Folgt in ca. 10 Arbeitstagen
248,00 CHF
Folgt in ca. 15 Arbeitstagen
134,00 CHF
