Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing - Razvan Diaconescu - Knjige - World Scientific Publishing Co Pte Ltd - 9789810235130 - 2. julija 1998
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Razvan Diaconescu
Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing

Prejmite e-pošto, ko bo izdelek na voljo
Do you have a profile? Prijava
Prejemajte obvestila o novih izdajah izvajalca Razvan Diaconescu

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

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.

196 pages, Illustrations

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 2. julija 1998
ISBN13 9789810235130
Založniki World Scientific Publishing Co Pte Ltd
Strani 196
Dimenzije 150 × 220 × 20 mm   ·   476 g

Več od Razvan Diaconescu

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh Razvan Diaconescu ( Na primer Hardcover Book in Paperback Book )