Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Name: Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Brand: Springer
Availability: OutOfStock
Rating: 5 (1 reviews)

By Dines Bjørner

0 - Default Title

Product details

Edition:

1

Number of Pages:

646

Release Date:

2007-12-07

Publication Date:

2007-11-21

Publisher:

Springer

Languages:

Published: English, Original: English

ISBN10:

3540741062

ISBN13:

9783540741060

GPSR Manufacturer Reference:

[email protected]

Weight:

1247 g

Buy on Amazon

Currently sold out