Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing - Razvan Diaconescu - Grāmatas - World Scientific Publishing Co Pte Ltd - 9789810235130 - 1998. gada 2. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 1998. gada 2. jūlijs
ISBN13 9789810235130
Izdevēji World Scientific Publishing Co Pte Ltd
Lapas 196
Izmēri 150 × 220 × 20 mm   ·   476 g

Vairāk no Razvan Diaconescu

Rādīt visu

Mere med samme udgiver

Skatīt visus Razvan Diaconescu ( piem., Hardcover Book un Paperback Book )