Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Results for author 'Razvan Diaconescu'

Refine Your Results

subjects

Biographies & True Stories

1

Computing & I.T.

4

Engineering & Technology

1

Mathematics

4

Philosophy

2

Science

4

lists

All Books

4

availability

All Books

4

price

$50 - $100

2

Over $100

2

formats

Paperbacks

2

Hardcovers

2

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

CafeOBJ Report : The Language, Proof Techniques and Methodologies for Object-Oriented Algebraic Specification : The Language, Proof Techniques and Methodologies for Object-Oriented Algebraic Specification - Razvan Diaconescu

CafeOBJ Report : The Language, Proof Techniques and Methodologies for Object-Oriented Algebraic Specification

The Language, Proof Techniques and Methodologies for Object-Oriented Algebraic Specification

Razvan Diaconescu and Kokichi Futatsugi

Hardcover

RRP $82.99

$74.75

10%
OFF

Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers - Ionut Tutu

Recent Trends in Algebraic Development Techniques

22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Ionut Tutu, Razvan Diaconescu and Mihai Codescu

Paperback

$64.99

Institution-independent Model Theory : Studies in Universal Logic - Razvan Diaconescu

Institution-independent Model Theory

Studies in Universal Logic

Razvan Diaconescu

Paperback

$149.75

Institution-independent Model Theory : Studies in Universal Logic - Razvan Diaconescu

Institution-independent Model Theory

Studies in Universal Logic

Razvan Diaconescu

Hardcover

$299.00

4 Results