Răzvan Diaconescu – författare
Visar alla böcker från författaren Răzvan Diaconescu. Handla med fri frakt och snabb leverans.
8 produkter
Institution-independent Model Theory
Inbunden, 2025
1530 kr
Lägg i varukorg
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulation for the intuitive concept of a logical system. …
Institution-independent Model Theory
E-bok, 2025
1906 kr
Lägg i varukorg
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulation for the intuitive concept of a logical system. …
Institution-independent Model Theory
Häftad, 2026
1530 kr
Lägg i varukorg
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulation for the intuitive concept of a logical system. …
Recent Trends in Algebraic Development Techniques
22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Av Mihai Codescu, Răzvan Diaconescu m. fl.
Häftad, 2015
442 kr
Lägg i varukorg
This book constitutes the thoroughly refereedpost-conference proceedings of the 22nd International Workshop onAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,Romania.The 8 revised papers presented were carefully reviewed and selected from 13presentations and focus …
Recent Trends in Algebraic Development Techniques
22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Av Ionut Tutu, Razvan Diaconescu m. fl.
E-bok, 2015
553 kr
Lägg i varukorg
This book constitutes the thoroughly refereedpost-conference proceedings of the 22 nd International Workshop onAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,Romania. The 8 revised papers presented were carefully reviewed and selected from 13presentations and focus …
Institution-independent Model Theory
E-bok, 2008
1459 kr
Lägg i varukorg
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially …
Institution-independent Model Theory
Häftad, 2008
1318 kr
Tillfälligt slut
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially …
CAFEOBJ REPORT: THE LANGUAGE, PROOF TECHNIQUES, AND METHODOLOGIES FOR OBJECT-ORIENTED ALGEBRAIC SPECIFICATION
Av Razvan Diaconescu, Kokichi Futatsugi
Inbunden, 1998
709 kr
Tillfälligt slut
CafeOBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such as behavioural concurrent specification and rewriting logic. CafeOBJ is the core of an environment supporting the systems (mainly software …
